off topic question: what’s the idea behind “EDIT: typo”? HN doesn't indicate in any way that your post has been edited and certainly you’re not changing the meaning in a tangible way warranting the etiquette. Nobody is going to fault you for fixing a typo.