Should we plan to eventually merge this into Sage? #2
Description
Or alternatively, should this become one of the Sage dependencies, moving Sage's sphinx theme here to avoid duplication?
{{ message }}
Or alternatively, should this become one of the Sage dependencies, moving Sage's sphinx theme here to avoid duplication?