id summary reporter owner description type status priority milestone component resolution keywords cc parents 5597 "There's a ""latest"" version of docs that doesn't have a clear purpose" Ben Sturmfels "We have ""master"", ""latest"" and ""stable"" version of documentation on readthedocs.io. It's not obvious to me as a reader what ""latest"" means. It's built from the stable branch, but I believe it needs a separate build to be refreshed. Suggest we remove it." defect closed minor 0.10.0 documentation fixed