An update: I have been trying to reproduce the behavior I have
reported, but it no longer can be reproduced if you do `killall
gnome-software` once and then relaunch gnome-software.
I have also tried logging out and logging back in, and rebooting, but
I still can't reproduce the problem.
I'm guessing that regular users of gnome-software will not encounter
the problem I've seen, because they will normally be using "reboot and
install" option. I use apt-get upgrade.
--
"the lyf so short, the craft so long to lerne."
-- Chaucer.
