Stuff that is not being used by me (anymore), but may be interesting for others.

   -- Nico, 2009-12-28