Index: src/views/shell.ejs
===================================================================
--- src/views/shell.ejs	(revision a505f315f3c64729f2366f33bdd83e156dedce84)
+++ src/views/shell.ejs	(revision 88838bce5b42c9e3fac0481e15e8b4531af35c4e)
@@ -505,5 +505,5 @@
   // Eén nummer voor de hele map. Te vaak bumpen kost één download; te weinig
   // bumpen kost een bugfix die nooit aankomt.
-  var MOD_V = 19;
+  var MOD_V = 20;
 
   // name -> 1 (aan het laden) of de module-namespace (geladen). Een module