merge dev for new release v.0.1.2
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.