Tobias' comments/questions/remarks/... #287

Draft

heindel wants to merge 43 commits intomainfrom

heindel/comments-to-rm

Commits on Dec 9, 2024

add comments of an initial pass over the rm specs: top lvl page
heindel
committed

Commits on Dec 10, 2024

Commits on Dec 11, 2024

Commits on Dec 12, 2024

add many comments/questions/remarks... and concrete change proposals
heindel
committed
Fix issues detected by pre-commit
Anoma Research
committed

Commits on Dec 13, 2024

Commits on Dec 16, 2024

Commits on Dec 17, 2024