<div id="comment:0"></div> (split out from #31069) CC: @dimpase Component: **packages: standard** Author: **Vincent Delecroix, Matthias Koeppe** Branch/Commit: **[`7b1dee7`](https://github.com/sagemath/sagetrac-mirror/commit/7b1dee7116068c14c86b930f4a52dc132173a296)** Reviewer: **Dima Pasechnik** _Issue created by migration from https://trac.sagemath.org/ticket/31525_