The source of the published HTML5 Recommendation — for people who want to do things to it