Bump website to 7.2.0

index.html

@@ -125,7 +125,7 @@
         // In development we import locally.
         window.location.hostname === "localhost"
           ? "/dist/web/install-button.js"
-          : "https://unpkg.com/esp-web-tools@7.1.0/dist/web/install-button.js?module"
+          : "https://unpkg.com/esp-web-tools@7.2.0/dist/web/install-button.js?module"
       );
     </script>
   </head>
@@ -273,7 +273,7 @@
       <pre>
 &lt;script
   type="module"
-  src="https://unpkg.com/esp-web-tools@7.1.0/dist/web/install-button.js?module"
+  src="https://unpkg.com/esp-web-tools@7.2.0/dist/web/install-button.js?module"
 >&lt;/script></pre
       >
       <p>