On Thursday 24 April 2014 11:20:49 Sebastian Kügler wrote: > Given that nobody has complained, let's get rid of it. It's easy enough to > be replaced, if it causes problems. > > I haven't looked at code yet, so this might have already happened. yep, it did :p -- Marco Martin