[MrDrMcCoy]

Facts can also be FUD. The problem is gone, so why keep bringing it up?

[yellow_lead]

Presumably because I asked so he answered.

The parent comment brought up the dev originally, but seems it's no longer an issue. Different commenter than the person you're replying to though.