diff --git a/release/spec-html/annotations.html b/release/spec-html/annotations.html
index e718b1ca..bdf7b55d 100644
--- a/release/spec-html/annotations.html
+++ b/release/spec-html/annotations.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/asynchronous-programming-with-coroutines.html b/release/spec-html/asynchronous-programming-with-coroutines.html
index 04072981..846316c4 100644
--- a/release/spec-html/asynchronous-programming-with-coroutines.html
+++ b/release/spec-html/asynchronous-programming-with-coroutines.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/built-in-types-and-their-semantics.html b/release/spec-html/built-in-types-and-their-semantics.html
index 46f0ee9f..c13c5c1d 100644
--- a/release/spec-html/built-in-types-and-their-semantics.html
+++ b/release/spec-html/built-in-types-and-their-semantics.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/concurrency.html b/release/spec-html/concurrency.html
index 6cc7403d..d3a9a235 100644
--- a/release/spec-html/concurrency.html
+++ b/release/spec-html/concurrency.html
@@ -26,16 +26,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -44,28 +44,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/control--and-data-flow-analysis.html b/release/spec-html/control--and-data-flow-analysis.html
index df6a7028..5b6922a5 100644
--- a/release/spec-html/control--and-data-flow-analysis.html
+++ b/release/spec-html/control--and-data-flow-analysis.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/declarations.html b/release/spec-html/declarations.html
index a27f873d..7c421e2d 100644
--- a/release/spec-html/declarations.html
+++ b/release/spec-html/declarations.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/exceptions.html b/release/spec-html/exceptions.html
index 53387d90..41508aab 100644
--- a/release/spec-html/exceptions.html
+++ b/release/spec-html/exceptions.html
@@ -26,16 +26,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -44,28 +44,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/expressions.html b/release/spec-html/expressions.html
index d4647fc4..359be47b 100644
--- a/release/spec-html/expressions.html
+++ b/release/spec-html/expressions.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/inheritance.html b/release/spec-html/inheritance.html
index d18b8615..0cd89545 100644
--- a/release/spec-html/inheritance.html
+++ b/release/spec-html/inheritance.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/introduction.html b/release/spec-html/introduction.html
index ee7b5ba6..0bc7cdaa 100644
--- a/release/spec-html/introduction.html
+++ b/release/spec-html/introduction.html
@@ -26,16 +26,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -44,28 +44,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/kotlin-spec.html b/release/spec-html/kotlin-spec.html
index 63196457..ef257c2f 100644
--- a/release/spec-html/kotlin-spec.html
+++ b/release/spec-html/kotlin-spec.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/kotlin-type-constraints.html b/release/spec-html/kotlin-type-constraints.html
index fab144aa..3561d63e 100644
--- a/release/spec-html/kotlin-type-constraints.html
+++ b/release/spec-html/kotlin-type-constraints.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/kotlincore.html b/release/spec-html/kotlincore.html
index ea8578d1..a8545d4d 100644
--- a/release/spec-html/kotlincore.html
+++ b/release/spec-html/kotlincore.html
@@ -26,16 +26,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -44,28 +44,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/operator-overloading.html b/release/spec-html/operator-overloading.html
index 08d3b4f2..4b395e19 100644
--- a/release/spec-html/operator-overloading.html
+++ b/release/spec-html/operator-overloading.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/overload-resolution.html b/release/spec-html/overload-resolution.html
index 03732f66..a351e01b 100644
--- a/release/spec-html/overload-resolution.html
+++ b/release/spec-html/overload-resolution.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/packages-and-imports.html b/release/spec-html/packages-and-imports.html
index 17b6c498..43b525d9 100644
--- a/release/spec-html/packages-and-imports.html
+++ b/release/spec-html/packages-and-imports.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/runtime-type-information.html b/release/spec-html/runtime-type-information.html
index 7b0574e3..a7785ab6 100644
--- a/release/spec-html/runtime-type-information.html
+++ b/release/spec-html/runtime-type-information.html
@@ -26,16 +26,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -44,28 +44,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/scopes-and-identifiers.html b/release/spec-html/scopes-and-identifiers.html
index 940618e6..f9f326ca 100644
--- a/release/spec-html/scopes-and-identifiers.html
+++ b/release/spec-html/scopes-and-identifiers.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/statements.html b/release/spec-html/statements.html
index b80938df..0111ed34 100644
--- a/release/spec-html/statements.html
+++ b/release/spec-html/statements.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/syntax-and-grammar.html b/release/spec-html/syntax-and-grammar.html
index 84a6a1fc..b6101207 100644
--- a/release/spec-html/syntax-and-grammar.html
+++ b/release/spec-html/syntax-and-grammar.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/type-inference.html b/release/spec-html/type-inference.html
index b6667869..c34adea7 100644
--- a/release/spec-html/type-inference.html
+++ b/release/spec-html/type-inference.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
diff --git a/release/spec-html/type-system.html b/release/spec-html/type-system.html
index 616b0d84..97793a29 100644
--- a/release/spec-html/type-system.html
+++ b/release/spec-html/type-system.html
@@ -89,16 +89,16 @@
   <link rel="apple-touch-icon" sizes="114x114" href="https://kotlinlang.org/assets/images/apple-touch-icon-114x114.png"/>
   <link rel="apple-touch-icon" sizes="144x144" href="https://kotlinlang.org/assets/images/apple-touch-icon-144x144.png"/>
 
-  <!-- Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager (noscript)
   <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5P98" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
-  <!-- End Google Tag Manager (noscript) -->
-  <!-- Google Tag Manager -->
+  End Google Tag Manager (noscript) -->
+  <!-- Google Tag Manager
   <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
   new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
   j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
   'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
   })(window,document,'script','dataLayer','GTM-5P98');</script>
-  <!-- End Google Tag Manager -->
+  End Google Tag Manager -->
 
   <script type="text/javascript">
       var require = {
@@ -107,28 +107,15 @@
           urlArgs : "v=3",
       };
   </script>
-  <script defer src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
+  <script src="https://requirejs.org/docs/release/2.3.7/minified/require.js"></script>
   <script type="text/javascript">
-      window.addEventListener(
-          "load",
-          (e) => {
-              requirejs.onError = function(err) {
-                  console.log(err.requireType);
-                  if (err.requireType === "timeout") {
-                      console.log("modules: " + err.requireModules);
-                  }
-                  if (err.requireType === "notloaded" &&
-                      err.message.indexOf("crypto") !== -1) {
-                      return
-                  }
-      
-                  throw err;
-              };
-      
-              require(["main"], function(main) {
-                  console.log("locked and ready...")
-              });
-          });
+      require(["main"], function(main) {
+          console.log("locked and ready...")
+      }, function(err) {
+          console.log(err.requireType);
+
+          throw err;
+      });
   </script>
 </head>
 <body>
