On Tue, Jul 9, 2013 at 5:35 PM, Vishesh Handa <me at vhanda.in> wrote: > This is another one of those reasons why I think > moving away from virtuoso is a bad idea. [1] Urgh. I meant "moving away from virtuoso is a good idea" -- Vishesh Handa