Thread:OneTwoThreeFall/@comment-27345308-20161031105739/@comment-24757753-20161031111511

Hmm, I have no idea if they're aware. I don't consider it a bug myself (they should be free to edit, for reasons like that) so I haven't sent a report.