Maybe there should be a separate section `Extensions`. It should increase the visibility of extensions.