Should the dist folder be checked into git?

Note that currently (as of commit 1707e5d1ccc957742a01f2e0d8abca5b6eef15be ) they are out of sync.
```

--- a/dist/home.js
+++ b/dist/home.js
@@ -1,5 +1,5 @@
$(document).ready(function(){
-    var map = L.map('map').setView([56.8491047,-4.2255712], 6);
+    var map = L.map('map', {'scrollWheelZoom': false}).setView([56.8491047,-4.2255712], 6);

```
at least, there may be more.