<div id="comment:0"></div> Depends on #4089 CC: @wjp Component: **notebook** Work Issues: **should be closed** _Issue created by migration from https://trac.sagemath.org/ticket/4550_