<div id="comment:0"></div> Follow-up from #29706. In this part, we take care of all `OptionalExtension`s except for - `tdlib`, which is taken care of in #29701; - `coxeter` (#29721) CC: @kiwifb @dimpase @jhpalmieri @tscrim @kliem @roed314 @videlec @vbraun Component: **refactoring** Keywords: **sd109** Author: **Matthias Koeppe** Branch/Commit: **[`2821934`](https://github.com/sagemath/sagetrac-mirror/commit/28219340dd0eb3d939dcd0c7e9fbc89133490a0c)** Reviewer: **Jonathan Kliem** _Issue created by migration from https://trac.sagemath.org/ticket/29720_