HTML is automatically generated, not a source file (and not rendered on github).