14 ms·Such a pity we lost gmane.org. Lots of knowledge gets lost these days.by murxmaster 7y agoSuch a pity we lost gmane.org. Lots of knowledge gets lost these days.