<div id="comment:0"></div> CC: @jhpalmieri Component: **scripts** Branch/Commit: **[u/jdemeyer/ticket/19105](https://github.com/sagemath/sagetrac-mirror/tree/u/jdemeyer/ticket/19105) @ [`74c78c1`](https://github.com/sagemath/sagetrac-mirror/commit/74c78c179010befaf59224628a64efdf0ca88048)** Reviewer: **Jeroen Demeyer** _Issue created by migration from https://trac.sagemath.org/ticket/19105_