Better translation for CMD_EXTENSION_MANAGER