[tavavex]

> Seems that HN's auto-headline rewriting in this case has made a critical error :)

I'm eagerly awaiting the day someone proves that P != NP and HN edits the title of the announcement post in this exact same way.