"Check for Tor Browser update" doesn't seem to do anything
So I have Tor Browser 8.0 (Linux) installed. I read about the new 8.0.1, so I started my Tor Browser, the about:tor page told me it's 8.0, so I click on the onion, and go down to Check for Tor Browser update, and click on it. The onion menu goes away. I wait for a bit.
I go click on the onion, click on check-for-update again. I do it four or five more times. I never see any indication that it noticed my request.
Is it secretly doing something in the background? Should we have some sort of "I got it, I'm doing what you asked for" feedback in the interface?
It's been about twenty minutes now and it doesn't seem to have checked for an update. Or if it did, it's being very quiet about doing it and/or what it found. :)