Galaxy Cloudman or GVL?

I am trying to set up Galaxy to work on AWS.
According to the instructions here https://galaxyproject.org/cloudman/getting-started/ I am supposed to go to the CloudLaunch application and choose Galaxy CloudMan, but the link is broken and in https://launch.usegalaxy.org/catalog it notes that CloudMan is deprecated and GVL is preferable.

What is recommended?
Thanks

The documentation is out of date on the Getting Started page (I’ll update it). The option to use is the GVL.

Got it, thanks.