<div id="comment:0"></div> after #34639 CC: @tscrim @slel @kwankyu @kliem Component: **refactoring** Author: **Frédéric Chapoton** Branch/Commit: **[`47a089d`](https://github.com/sagemath/sagetrac-mirror/commit/47a089da18197117af8e946659facd5702f942f7)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/34645_