Before someone calls me out: Yes, this isn'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't find a good way to shorten it. If someone has one feel free to add it here.