Figure out unused strings
There are a bunch of unused strings right now (lint shows them):
<string name="local_repo_https">Use Private Connection</string>
<string name="corrupt_download">Downloaded file is corrupt.</string>
<string name="failed_to_create_index">Failed to create the repo index!</string>
We need to do one of the following for each of them:
- Use them again (duh)
- Remove them
- Keep them around since they will definitely be used again soon
Note that the first one also used to be a preference, so if it is removed all the preferences stuff that concerns it should be removed too.
I haven't deleted any of them yet as we would lose all of their translations, and recovering them might be tricky when it comes to reverting changes to files managed by weblate.