HTML 5 has a certain sarcastic specification