Work around github toctree not rendering