> The bug seems like it will get fixed soon

Just because Boris commented on it doesn't necessarily mean it'll be fixed soon, but ok.

> but "XXX(simon)" would be somewhat wrong because this isn't something that's only relevant to me

Right.

> Actually, I'll just remove the if condition and comment.

I'd keep a hint to the bug, so we know it's broken by that.

Sebastian