OK, thanks. I was imagining that perhaps the person had composed their reply in Word and then copy-pasted it as a comment, which seemed like overkill for an HN comment.
> On that note: a good typographer will use single quotes for quoting ‘single’ words.
Really? I find that surprising. At least in the US, the majority of style guides only recommend using single quote marks when embedding a quote within a quite.
On a Mac you have them on some keys by holding down a modifier.
On Windows and Linux you need to use a utility of some sorts or modify key bindings for your desktop environment.
On Android you hold the resp. quote key on the virtual keyboard to get a selection of resp. quotes to choose from.
On that note: a good typographer will use single quotes for quoting ‘single’ words.