Update problem, do I press the big scary red button?

Yeah, GUI updates can occasionally fail for various reasons, and the typical next step is a command line rebuild. In my experience that’s always cleared things up.

(And the sudo on those commands assumes you’re not logged in as the root user.)