Mostly cosmetic changes and an example#431

Merged

matbesancon merged 4 commits intomasterfrom minor-output-changes-etc

Sep 30, 2023

+86-7

Commits on Sep 29, 2023

Commits on Sep 30, 2023

fix forgotten random
pokutta
committed