Before someone calls me out: Yes, this isn&#x27;t the original title, but a sentence from the first paragraph. The original title is longer than 80 characters (89 HN helpfully tells me) and I didn&#x27;t find a good way to shorten it. If someone has one feel free to add it here.