Some documentation extensions

Andrea Albino requested to merge DOCS_sprint_29.11.23 into develop

We are dedicated today to a sprint to restructure the documentation and add some new elements.

Beside the documentation itself, there is already a todo list with more technical stuff to propose:

  • implement a test to check if links are broken (if it doesn't exist yet). @sakl did you mention once such a test?
  • make more visible links in text. @wojasadr you may take care of this part?
Edited by Andrea Albino

Merge request reports