fix: redirection issue with regex (#67)

* fix: redirection issue with regex

* Apply suggestion from @johanneskoester

---------

Co-authored-by: Johannes Köster <johannes.koester@uni-due.de>

Author: m-jahn

source/_static/redirect.js

@@ -1,12 +1,13 @@
 document.addEventListener("DOMContentLoaded", function () {
   const params = new URLSearchParams(window.location.search);
   let workflow = params.get("wf") ?? params.get("usage");
-
   if (workflow) {
     // Allow only expected slug characters.
-    if (!/^[A-Za-z0-9_-\/]+$/.test(workflow)) {
-        console.error(`Invalid workflow specification (allowed is [A-Za-z0-9_-\/]+): ${workflow}`);
-        return;
+    if (!/^[A-Za-z0-9\/_-]+$/.test(workflow)) {
+      console.error(
+        `Invalid workflow specification (allowed is ^[A-Za-z0-9\/_-]+$): ${workflow}`,
+      );
+      return;
     }
     // Dynamically construct the target URL
     const targetUrl = `docs/workflows/${workflow}.html`;