Editor's draft 20170828.
Merge pull request #479 from dontcallmedom/html5refs Upgrade our references to HTML5.2
Editor's draft 20170605.
Merge pull request #461 from jan-ivar/rename Rename 10.1. to Legacy Interface Extensions.
Editor's draft 20170205.
tidy
Editor's draft 20161216.
Editorial: update change log for release
Editor's draft 20161123.