<div id="comment:0"></div> (from #30922) CC: @videlec @kliem @kiwifb Component: **packages: standard** Author: **Matthias Koeppe** Branch/Commit: **[`02c6cd9`](https://github.com/sagemath/sagetrac-mirror/commit/02c6cd998457b5c7b145be8430d44993f76d3c1f)** Reviewer: **Jonathan Kliem** _Issue created by migration from https://trac.sagemath.org/ticket/31261_