<div id="comment:0"></div> as per #34120 CC: @videlec @tscrim Component: **refactoring** Author: **Frédéric Chapoton** Branch/Commit: **[`87df84e`](https://github.com/sagemath/sagetrac-mirror/commit/87df84eecb0cb1bc7e99b834de0ee266bcc56f4c)** Reviewer: **Lorenz Panny, Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/34500_