Minor Description
Docusaurus has a configuration for the es-lint javascript linter to enforce their best practices: https://docusaurus.io/docs/api/misc/@docusaurus/eslint-plugin
Although we will probably rarely edit the plain javascript portions of the website, it would still be good to run this in github actions for each pull request.