#1427: fix readthedocs build, install optional docs dependency group in RTD
Closes #1427 (closed)
Will trigger a build manually there, and if it succeeds will assign the reviewer and mark as ready-to-review.
Closes #1427 (closed)
Will trigger a build manually there, and if it succeeds will assign the reviewer and mark as ready-to-review.