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.