The mailing lists, Bugzilla and CVS are up again!
Please note that if you had already subscribed to the mailing lists, you have to do so again. Also the addresses have changed a bit.
