On Sat, Feb 07, 2009 at 05:44:58PM +0100, Reimar Döffinger wrote: > Since quite a few people could have used this already, I decided to > finally implement it. > I intend to apply it soon if there are no objections. Applied.