Perhaps we should have a workflow that builds the documentation, so we don't have to rely on RTD to find bugs in the documentation