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.