These were mostly authored on a Chromebook using Crostini (Debian 10).
python
, curl
installed and working./install
script, or run the build script in VS Code.Update submodules to their remote HEADs:
git submodule update --remote
Reset submodules to the committed versions:
git submodule update --init