Is no more \o/

(except for mailman's web interface, but who cares about that)