Yeah, disregard that. I spoke prematurely. The one you just found is what's actually there, EFBFBD is the UTF replacement charcode (Unicode FFFD) for an unknown unicode symbol. Chrome's source-viewer showed the same symbol, so at first I assumed it was that one. Then I looked with Wireshark, and...