On Apr 6, 2013 9:34 AM, "Marco Fleckinger" marco.fleckinger@wikipedia.at wrote:
This was kind of solution I also thought of. I didn't do it, because I
was unsure if it's a bug.
Good. Better to let the people you're reporting the bug to see it for themselves firsthand.
-Jeremy