Ah never mind. It looks like this upgrade failure is a known issue:
https://nelsonslog.wordpress.com/2020/05/26/ubuntu-19-10-to-20-04 -upgrade-failure/ -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1885529 Title: Gnome "Activities" button in inconsistent location when the Places menu is enabled To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extensions/+bug/1885529/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
