The set of properties in w3c.json files have evolved over the years but we don't check that the ones we have are up-to-date. This propagates bad patterns over time. For example, do we still need/use "shortname"?