Scripts

These are scripts that are useful to deal with this project. DO NOT run the scripts in this folder. Instead, use npm run ... in the parent folder.