User blog comment:Rappy 4187/Technical Update: November 2, 2016/@comment-24473195-20161103171231/@comment-2200849-20161104103659

Sorry about that, I was tired last night when I wrote that, and was searching for the wrong character.

It's ticketed, but this is precisely why it should have gone to Special:Contact/bug in the first place.