merge dev for new release v.0.1.2

Hock, Martinrequested to merge
dev into main

Attempting to merge changes more often into main, to create new release versions, recreate the documentation, and produce new PyPI versions for testing.

Just a quick check and maybe some merges into dev before approving.

Merge request reports