<div id="comment:0"></div> Follow up from #29341. Depends on #29174 Depends on #29823 Depends on #20104 CC: @jhpalmieri @novoselt @kliem @orlitzky Component: **porting** Author: **Matthias Koeppe** Branch/Commit: **[`6afe959`](https://github.com/sagemath/sagetrac-mirror/commit/6afe959a174db2339f5f10bcad8c4a535ec66cf2)** Reviewer: **Jonathan Kliem** _Issue created by migration from https://trac.sagemath.org/ticket/29901_