As a metanote, I wish there was a standard way of marking sarcasm and joke posts on HN, so they don't get downvoted simply because they don't make sense when interpreted literally.