Merge branch 'feature/bts-redirect' into 'master'

Fixes BTS id format

See merge request !112

redirect-old-bts.html

@@ -2504,18 +2504,25 @@ name: Old BTS redirections
     };
 
     const v = window.location.toString();
+    var not_found = document.getElementById('issue_not_found');
+
     if(v.includes("?")){
-    	const asked = v.split("?")[1];
-    	const n = table[asked];
+    	const request = v.split("?")[1];
+      const id = request.split("=")[1];
+
+      if (id) {
+        const n = table[id];
 
-    	if (n) {
-      		window.location.replace(
-        		"https://git.frama-c.com/pub/frama-c/-/issues/" + n
-      		);
-    	} else {
-  	  		var not_found = document.getElementById('issue_not_found');
-  	  		not_found.textContent = "Issue #" + asked + " not found";
-    	}
+        if (n) {
+            window.location.replace(
+              "https://git.frama-c.com/pub/frama-c/-/issues/" + n
+            );
+        } else {     
+            not_found.textContent = "Issue #" + id + " not found";
+        }
+      } else {
+        not_found.textContent = "Unrecognized request " + request ;
+      }
   	}
 </script>