braindump
2020-12-19
a bunch of #mintter fixes and new tests