<div id="comment:0"></div> This is a follow-up on #21604 (comment 10-12) Depends on #21604 CC: @jdemeyer @embray Component: **build** _Issue created by migration from https://trac.sagemath.org/ticket/21654_