Redirect old urls to the new locations

All search results are now broken with the new Docusaurus based site :/

Docusaurus seems to have rudimentary support for redirects, but after trying various things I have only been able to get it to redirect a directory. It won't redirect .html pages. The plugin is here:
https://docusaurus.io/docs/api/plugins/@docusaurus/plugin-client-redirects

and I've tried plain redirects and using the createRedirects function with no success. It seems to want to create a directory named for the from path and drop an index.html file inside of that instead of just writing it to the file.

Redirecting just the directories isn't very helpful since the old pages were all named with .html extensions.

Their recommended solution is to use server side redirects, but AFAIK that isn't available with github pages.

Start with the Docusaurus client-redirects plugin documentation and inspect the repository's redirect configuration, if present; the payload names no file or test. Verify that the chosen approach preserves old .html search-result URLs on GitHub Pages and redirects them to the new locations.