Merge edits.
Merge branch 'github-main' of github.com:plomino/Plomino into github-main

Conflicts:
	Products/CMFPlomino/PlominoDocument.py
Tweak widget descriptions.
Reorder imports.