Doc, test and CI fixes
Format fixes in documentation, fix building of documentation in GitLab CI and rebuild a test to make it more robust.
-
Documentation updated or not needed. -
Test created or not needed. -
Attribution in source files and CONTRIBUTORS.md
updated if necessary.