Merge branch 'step6' into web-dashboard

# Conflicts:
#	src/web/static/app.css

src/web/static/app.js

@@ -65,3 +65,8 @@ document.addEventListener("click", (event) => {
   if (!input) return;
   input.value = button.dataset.default;
 });
+/* step 6: reload a job page every N seconds while its job is requested/running */
+document.querySelectorAll("[data-refresh]").forEach((element) => {
+  const seconds = Number(element.dataset.refresh);
+  if (seconds > 0) setTimeout(() => window.location.reload(), seconds * 1000);
+});