This website is built using Docusaurus 2, a modern static website generator.
$ npm install
$ npm run start
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
$ ./update-site.sh
This command generates static content into the dist_prod directory and can be served using any static contents hosting service.