On Tue, Oct 15, 2013 at 08:58:51AM +0200, Jan Engelhardt wrote: > This is a recurring submission and includes corrections to various > issue spotted. I guess I can just skip over reporting ubiquitous comma > placement fixes… Applied this one. Zbyszek