Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix docs building #3263
Description of the changes
This sidesteps an issue on RTD for now. We won't be able to use
3rd party cog creators are free to use such features.