Skip to content

doc/dev: various updates

Vladimír Čunát requested to merge doc-dev-update into master

I guess we haven't properly read through this part for a couple years.

Merge request reports