How HTML5 element names were decided | Hacker News Reader