8eea0f6c34
The problem here is that oftentimes, the index fetch will happen automatically in the background while the user is in a different app. If the fetch fails, the warning text changed here is displayed as a toast, but without this change there's no way to tell that it's coming from F-Droid.