mailing list moving to mailman

Hi. Just a short note to indicate that this list is still alive. :)

I will be migrating this list from majordomo to mailman somewhere during this 
month. There will be another message when the migration is complete.

Cheers
Michiel