I like Kwankyu's suggestion that once #36024 is merged (and #36026 and #35095), just run "sage --fixdoctests" on the whole Sage library.
As we just fixes comments (doctest tags), actually we don't need to wait those PRs to be merged. Matthias is already fixing them gradually. See https://github.com/sagemath/sage/pull/36033, for instance. Still, fixing them on the whole Sage library in a PR seems not a bad idea. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ebaf6bcb-84c2-491d-bffc-7c5037654424n%40googlegroups.com.
