[ambient]

My suggestion is to rename the "Extension Modules" tab in Settings to "Extensions".
I think omitting the technical term "Modules" would make it clearer and appear easier/less complicated, especially for new users.

screenshot:


PS. Relevant documentation page: https://support.jdownloader.org/en/k...all-extensions

[Jiaz]

@ambient: I like this change, we will do it

[raztoki]

extension manager.
implies its a clickable option vs a heading.