actually, we’ll want something like a “retry” option, to cover all the cases where the thing that you’re using to ask for the refresh is (part of) the thing you’re asking to refresh. GNOME Software, or a terminal emulator, or a shell, or screen, or an IDE, …