chore: fix website URLs (#9490)

GitHub Pages appends trailing slashes which might break docusaurus
links.

website/docusaurus.config.js

@@ -41,6 +41,13 @@ const config = {
     defaultLocale: 'en',
     locales: ['en'],
   },
+  scripts: [
+    {
+      src: '/fix-location.js',
+      async: false,
+      defer: false,
+    },
+  ],
   webpack: {
     jsLoader: isServer => {
       return {

website/static/fix-location.js

@@ -0,0 +1,5 @@
+const url = new URL(window.location.href);
+if (url.pathname.endsWith('/') && url.pathname !== '/') {
+  url.pathname = url.pathname.substring(0, url.pathname.length - 1);
+  window.history.replaceState(null, undefined, url.toString());
+}