#1427: fix readthedocs build, install optional docs dependency group in RTD Closes #1427 See merge request !491