<div id="comment:0"></div> CC: @antonio-rojas Component: **misc** Author: **Matthias Koeppe** Branch/Commit: **[`50b7486`](https://github.com/sagemath/sagetrac-mirror/commit/50b7486518c54ac32c358e2811c188aea3842c84)** Reviewer: **Antonio Rojas** _Issue created by migration from https://trac.sagemath.org/ticket/34674_