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