[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