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