<div id="comment:0"></div> (cherry-picked from #32432) Depends on #32534 CC: @kliem @tscrim Component: **refactoring** Author: **Matthias Koeppe** Branch/Commit: **[`5f1c296`](https://github.com/sagemath/sagetrac-mirror/commit/5f1c296b11a43a6805ebf4c568442717c3649608)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/32591_