Time for my regular “sudo apt-get upgrade” on my Ubuntu server.