Host documentation on readthedocs.org

André Anjosrequested to merge
readthedocs into main

This MR resets the project so that its documentation is hosted on readthedocs.org. All badges have been modified.

Edited by André Anjos

Merge request reports