Should we use `Brackets Erweiterungs-Registrierung` or `Brackets Erweiterungs-Register` here? (In `strings.js: EXTENSION_MANAGER_ERROR_LOAD` it is `Registrierung für Erweiterungen`, which is not the best translation).