+The website is generated from asciidoc using jekyll invoked by a cron script
+every 15 minutes.
+
+If sources are updated to require new jekyll plugins or a changed configuration
+then tell someone with access to the web server so that the settings can be
+synchronized with those in the tree.
+
+In order to generate the pages locally for testing your changes,
+install https://jekyllrb.com/, issue "jekyll serve" and navigate to
+http://127.0.0.1:4000/ with your browser.