Notiz an mich selber, falls bei der nächsten Linux Mint Version wieder mal ein Upgrade nicht angezeigt wird, obwohl es bereits verfügbar ist. Das Upgrade ist auf der Konsole wie folgt zu installieren:

apt install mintupgrade

mintupgrade upgrade