I am hesitating between hilarity and shock. IMHO, W3C's HTML WG died today. Again.