Exactly. If you've never read the blog of this brilliant researcher in computational complexity, the last post of his that HN should be showing you is some (justified) tongue-in-cheek political rant.