Interesting - those are ASCII characters 0x1C and 0x1D - odd!
What I reckon is that the characters were originally displayed in the console as unicode encoding or something, and then somewhere in the copy/paste to the forum, they've been 'converted' back to single-byte characters, and obviously the non-standard ones have been lost!
Actually, on investigating further, I think I know what it is, and my first thought was right
. If you go into character map in Windows, and look at the Unicode punctuation characters (just to narrow it down a bit) - you can see the "shaped" quotation marks are double-byte encoded characters U+201C and U+201D (see attached screenshot) - corresponding to the dodgy characters in the posts, just without the high-order byte!
Problem explained, if not solved!
*edit* Your Linux charset displays the hex equivalent of a non-ASCII character... I had to find out what they were the hard way
[attachment deleted by admin]