diff -r 2b270c714678 -r bb594abac796 web/WEB-INF/jsp/html_full.jsp
--- a/web/WEB-INF/jsp/html_full.jsp Tue Dec 26 19:18:32 2017 +0100
+++ b/web/WEB-INF/jsp/html_full.jsp Tue Dec 26 19:45:31 2017 +0100
@@ -42,6 +42,11 @@
<%-- Define an alias for the module info --%>