Merge remote-tracking branch 'origin/extras' into dev

Thanks!

README.md

@@ -161,7 +161,7 @@ You can then serve the `dist` directory with your favourite webserver.
 
 Examples:
 
-* `python3 -m http.server dist`
+* `python3 -m http.server --directory dist` (requires Python 3.7+)
 
 <!-- To get a live-reloading development server -->
 

package.json

@@ -10,7 +10,9 @@
         "docs": "pulp docs -- --format html",
         "repl": "pulp --psc-package repl",
         "clean": "rm -Rf output",
-        "test": "pulp test"
+        "test": "pulp test",
+        "prestart": "cp src/index.html dist",
+        "start": "python3 -m http.server --directory dist"
     },
     "dependencies": {
         "@babel/polyfill": "^7.0.0",