<div id="comment:0"></div> (cherry-picked from #32432) Depends on #32614 CC: @kliem @tscrim Component: **refactoring** Author: **Matthias Koeppe** Branch/Commit: **[`1400654`](https://github.com/sagemath/sagetrac-mirror/commit/14006541f2adbeb76bdc032d8152c9badf3e6226)** Reviewer: **Jonathan Kliem** _Issue created by migration from https://trac.sagemath.org/ticket/32652_