This is an old bug. In earlier versions there was no distinction between users and mirrors/servers. The Alex introduced the distinction that lead to this strange behaviour. I’m sure this is very low on the list of urgent changes since it is mostly cosmetic. But I totally agree that it is irritating.
But thanks anyway for the reminder. Even for more urgent changes it might take a few weeks and several intermediate updates until they are solved. We need to be patient and hope for the best.
Alex will work on it, at the right time which might not be in the near future. Maybe changes in between may lead to a different situation where that problem no longer exists.
BTW, buglet in german would be “Käferchen” (from german “Käfer”) or “Wänzchen” (from german “Wanze”).