How do we upgrade Whonix from 16 to 17?

I went to Qubes Tools > Qubes Update > Enable updates for qubes without known updates > updated Whonix gw, and two updates installed but I’m still on version 16.

The Whonix Qubes updating website advises to use the Update Launcher and that’s what I thought I did. I do not have any Update Launcher notifications pending for OS updates so its instructions weren’t very helpful.