Incorporate upstream changes to header#102

handrews merged 1 commit intojson-schema-org:masterjson-schema-org/json-schema-org.github.io:masterfrom

adamvoss:minima-updateadamvoss/json-schema-org.github.io:minima-updateCopy head branch name to clipboard