In order to move all of the Slang docs to readthedocs.io, we need to verify that the cross links and table contents work, and that there is a path forward for updating the bot to link this repo, the slang repo, and the readthedocs site together correctly.