is there a way to filter 4,360 Closed Issues in the github repository?
same thing in the mailing list's online archive dating back July 2008?