R.I.P.

This website is now dead. I didn't have time for maintenance, so I rather
took it down. If you need me, you probably know where to look anyway.

-- ZZ