Comment by mkj

Maybe you could report it as a normal bug report, by hand?