(Um, also, maybe we should stop this HN tradition of making copy-editing changes to other people's posts? What does it actually achieve? Especially as we've no idea whether we're writing our first language)