As per !140, some languages require different translations for an app being
installed and the tab name for installed apps. Namely, one is plural while the
other isn't. Separate the two.
If they are ever useful again, they can be brought back with their
translations. Reasons to not keep them around:
* Most will not be used ever again
* Most languages don't have all of them yet
* Translators doing new languages would waste their time
Kept the local repo https ones since the setting was just temporarily
removed.