<div id="comment:0"></div> Follow-up on #30022 Depends on #32441 CC: @kliem @videlec @tscrim Component: **refactoring** Author: **Jonathan Kliem** Branch/Commit: **[`13f9003`](https://github.com/sagemath/sagetrac-mirror/commit/13f9003d2103823e7978e37bd0f38117aca053d8)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/32455_