Commit 88fe6372 authored Dec 23, 2025 by Zanne Korevaar

Merge branch '7-updatedoc' into 'main'

Resolve "updatedoc"

Closes #7

See merge request !8