w3c/html — pull request #8 by stevefaulkner (2013-01-15 15:43:06+00:00)
Title: editorial change due to addition of 'generator' attribute

change is relevant to 5.1 only