Hacker News new | ask | show | jobs
by _ykl9 4405 days ago
Ah, that must be Google Docs messing up my normal ascii quotes (I had a similar issue with some characters on my Android phone earlier). Thanks.