It might have been down when you checked, but it's working (if slow) now, and the git shows a commit as of 2 days ago. At the time of my comment I checked the m

It might have been down when you checked, but it's working (if slow) now, and the git shows a commit as of 2 days ago. At the time of my comment I checked the mailing list and saw messages marked "patch" or somesuch as of a few months ago.