<div id="comment:0"></div> (split out from #33213) CC: @orlitzky Component: **refactoring** Author: **Michael Orlitzky** Branch/Commit: **[`fc25b79`](https://github.com/sagemath/sagetrac-mirror/commit/fc25b798ebcc80d4bf07db49892306883a7044f7)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/33793_