<div id="comment:0"></div> after #24443 CC: @tscrim @jm58660 @vinklein Component: **refactoring** Author: **Frédéric Chapoton** Branch/Commit: **[`7ee876d`](https://github.com/sagemath/sagetrac-mirror/commit/7ee876d01b859f5aa21db03505a5d2286b8704fe)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/28470_