diff -r d1fa9536b392 -r dcc83e03d065 runtime/NevowServer.py
--- a/runtime/NevowServer.py	Mon Nov 20 11:52:27 2023 +0100
+++ b/runtime/NevowServer.py	Wed Nov 22 09:34:32 2023 +0100
@@ -311,13 +311,13 @@
             CSS_tags
         ],
         tags.body[
-            tags.h1["Settings:"],
+            tags.h1["Settings"],
             tags.a(href='/')['Back'],
-            tags.h2["Runtime service:"],
+            tags.h2["Runtime service"],
             webform.renderForms('staticSettings'),
-            tags.h2["Target specific:"],
+            tags.h2["Target specific"],
             webform.renderForms('dynamicSettings'),
-            tags.h2["Extensions:"],
+            tags.h2["Extensions"],
             extensions_settings
         ]]])