Not OP, but… the article title (correctly for this purpose) uses standard quote characters, so you could presumably copypasta the attribute straight from the title into HTML. The title as currently posted on HN uses curly quotes, so copypasta from there would produce invalid HTML. It’s a weird nitpick, for sure! Approximately nobody is going to copypasta straight from a substring of an HN title/link into HTML, of course. But it is technically both correct and pertinent.