From 5f04487f12bca9d22eecf3a466da0a361ef3a77e Mon Sep 17 00:00:00 2001
From: Eric Prud'hommeaux <eric@w3.org>
Date: Mon, 2 Oct 2017 07:47:55 -0400
Subject: [PATCH] ~ switch from async to defer per tobie's advice

c.f. https://github.com/w3c/respec/issues/1345
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 1848f5b..d1b90f6 100644
--- a/index.html
+++ b/index.html
@@ -12,7 +12,7 @@
       .example pre { border: medium solid #efe7e7; background-color: #f7fff7; display: inline-block; }
     </style>
     <script src='https://www.w3.org/Tools/respec/respec-w3c-common'
-            async="async" class='remove'></script>
+            defer class='remove'></script>
 
     <script class='remove'>
       var respecConfig = {