>> I can send you a PR for that JSON file if you wish. For example make a new >> folder called "testcoveragedata" or something to put the JSON file inside?
> If all we need is a single JSON file and maybe a script let's put them > in the top-level directory. Should I send you a PR now so you or I can play our with the linking and styling (I'm very much aware that what the JS currently does to the spec is ugly), or should I wait a few weeks and try to find time to clean up the metadata and make sure the links land in the right places in the WHATWG spec? -Hallvord
