Such a pity we lost gmane.org.

Lots of knowledge gets lost these days.