<div id="comment:0"></div> (split out from #31280) CC: @kiwifb @antonio-rojas @isuruf @fchapoton @tscrim Component: **packages: standard** Author: **Matthias Koeppe** Branch/Commit: **[`d69c496`](https://github.com/sagemath/sagetrac-mirror/commit/d69c49654620d72301f3e040d8f7d908d273bbfd)** Reviewer: **Dima Pasechnik** _Issue created by migration from https://trac.sagemath.org/ticket/32371_