> this is a very, very bad bug

Maybe, maybe not. We know nothing about the bug. It's impossible to judge this based only on the outcomes.

For all we know it could be something very innocuous, like a simple translation mistake.