<div id="comment:0"></div> mostly cosmetic, also refining one category CC: @tscrim @kwankyu @slel @dcoudert Component: **group theory** Author: **Frédéric Chapoton** Branch/Commit: **[`0a10960`](https://github.com/sagemath/sagetrac-mirror/commit/0a10960baf902d883579b97e4ba4fe7823085ac7)** Reviewer: **David Coudert** _Issue created by migration from https://trac.sagemath.org/ticket/34538_