Strip /dev from ga page name

src/index.html

@@ -8,6 +8,8 @@
   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
   })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
   ga('create', 'UA-73024255-2', 'auto');
+  ga('set', 'page', location.pathname.replace(/^\/dev/, ''))
+  ga('set', 'dimension2', 'dev');
   ga('send', 'pageview');
   </script>
   <!-- End Google Analytics -->