<div id="comment:0"></div> using the short syntax `super()` CC: @tscrim @kwankyu @slel Component: **refactoring** Author: **Frédéric Chapoton** Branch/Commit: **[`3c729e3`](https://github.com/sagemath/sagetrac-mirror/commit/3c729e3e9bd7193f42813e3cafa968ac38fac775)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/34287_