On Wed, May 20, 2009 at 12:27 PM, Nils Anders Danielsson <nad at cs.nott.ac.uk> wrote: > > This old feature request should probably be moved to the bug tracker. Done. -- Andrés