Thanks for opening a discussion on this timely topic.
I think that Matthias is well aware of the benefits of the top-of-the-file
tags over the doctest tags, and is adding doctest tags only when they are
necessary (this is a lot of work for him). However, I do think that your
points
(1) hide un
Dear everyone,
I would first like to thank the people who are working to improve the
Sage development and build process. However, I am starting to become
concerned about what is being done about the modularization of SageMath.
Specifically, it is involving the patchbombs (e.g.,
https://githu
