Merge branch 'develop' into gh-pages

* develop:
  v10.1.4
  fix: Reduce FOUC (closes #326)

js/profile-w3c-common.js

@@ -1,4 +1,13 @@
 "use strict";
+// Hide document, because we are about to change it radically.
+document.body.hidden = true;
+
+// In case everything else fails, we always want to show the document
+window.addEventListener("error", function(err) {
+  console.error(err);
+  document.body.hidden = false;
+});
+
 // this is only set in a build, not at all in the dev environment
 require.config({
   shim: {
@@ -84,6 +93,8 @@ define([
         .then(ui.enable)
         .catch(function(err) {
           console.error(err);
+          // In case processing fails, we still want to show the document.
+          document.body.hidden = false;
           // even if things go critically bad, we should still try to show the UI
           ui.enable();
         });

package.json

@@ -1,6 +1,6 @@
 {
   "name": "respec",
-  "version": "10.1.3",
+  "version": "10.1.4",
   "license": "W3C",
   "description": "A technical specification pre-processor.",
   "engines": {

src/core/aria.js

@@ -4,4 +4,5 @@ document.body.setAttribute("aria-busy", "true");
 
 sub("end-all", () => {
   document.body.setAttribute("aria-busy", "false");
+  document.body.hidden = false;
 }, { once: true });