Sorry for the delay in replying! When titles exceed 80 chars it's best to drop superfluous words until you get something that fits the limit and is still recognizably the original title. In this case the other submitter simply dropped everything after the colon and got a usable title.

If that's not possible, the next best thing is to look for something like a subtitle or subheading, or a phrase from the opening paragraph, that says what the article is about.

Past explanations about this kind of thing in case it's helpful: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...