Sort of, yes.
To explain... what happens is that the patch is released, and around that time, the latest-version.js file is updated here. Over the next day or so, everyone phones home, grabs the update etc.
But the upgrades page is less automated and requires a little hand-tuned maintenance, which not everyone can do. It's a massive undertaking to push out an update.