Follow-up to #11093 (comment)

It might be a good idea to re-structure this chapter of the manual and see
whether we can find a more logical and less flat organization.

One other question could be whether the "extensions" documented in thsi
chapter are still to be considered as "extensions" or whether their
documentation should be melt into other parts of the manual.