<div id="comment:0"></div> (partially cherry-picked from #32432) Part of Meta-ticket #32414 Depends on #32593 CC: @tscrim @fchapoton Component: **refactoring** Author: **Matthias Koeppe** Branch/Commit: **[`907b57c`](https://github.com/sagemath/sagetrac-mirror/commit/907b57c48300a50c39a15ca5db2b050caee88392)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/32606_