Merge branch 'develop' of https://labs.etsi.org/rep/osl/documentation into develop

2 jobs for develop
in 37 seconds, using 0 compute credits, and was queued for 1 second