sage

d1f5bd80 - src/doc/en/developer/tools.rst: Expand sections on doctest, coverage, startuptime