Tidy while reading.
Merge branch 'github-main' of github.com:plomino/Plomino into github-main