[20:22] PR operator#870 opened: Update ReadTheDocs build to use Python 3.8 instead of 3.5 [20:33] PR operator#870 closed: Update ReadTheDocs build to use Python 3.8 instead of 3.5