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