Saurabh Das: > I see. I wasn't sure - hence I asked. https://d.puremagic.com/issues/show_bug.cgi?id=11471 > In general, how do I check if this is a known issue? Search in Bugzilla and/or ask to people. Bye, bearophile