Currently `VERSION` is manually updated in the Makefile (see #65). The version should really come from Git and/or GitHub Actions.
Currently
VERSIONis manually updated in the Makefile (see #65).The version should really come from Git and/or GitHub Actions.