I did see that, but upgrading and updating are subtly different. Upgrade usually means between major versions, update is usually between minor versions.
As I said: 'do I have to check it myself and do the upgrade process?'.
Bit disappointing that there is no mechanism to keep everything up to date. Checking regularly for updates to the main wiki and the plugins is a bit of a pain.
Ah well.