General questions and discussions.

Generally speaking, this bug isn't a major issue. Fixing it is, in a way, a matter of principle, but nothing more. Therefore, sacrificing anything for its sake doesn't make sense, as even if the fix is incomplete, you won't be able to remove this bug from the "list of game bugs" anyway.