readthedocs.org

8acba216 - Comment: add comment from PR review

Comment: add comment from PR review This comment was suggested in https://github.com/readthedocs/readthedocs.org/pull/8917#discussion_r806318973 but the PR was already merged.