ci/documentation: pin sphinx version, build the documentation PDF and fix copyright/authors notice
-
documentation: fix copyright, add authors
-
ci: pin to use Sphinx 5.3.0
-
ci: also build the documentation PDF. Update documentation/README.md with the instructions to build the PDF locally