Stuff

Florian Greinacherrequested to merge
stuff into main

Fixes #4 (closed)

Fixes #5 (closed)

Edited by Florian Greinacher

Merge request reports