<div id="comment:0"></div> CC: @mkoeppe @jhpalmieri Component: **porting** _Issue created by migration from https://trac.sagemath.org/ticket/32855_