Miscellaneous documentation tweaks
Merge RODL access fixes from pejot/develop https://github.com/pejot/ro-manager/commit/39361b09739238262790de9d6b46b86c66bdf63d
Merge branch 'pejot-develop' into minim-eval