All the content is in markdown and can be edited on github right away. For convenience, the site can be run locally using the following procedure:
# installation
npm install
# start local editing
npm run dev
# build static website
npm run build
# deploy site
sh deploy.sh