In case you miss it on the other post you’re involved in:
Not an AMP issue, Microsoft just hates automatic downloads.
Firstly take a backup. Then:
From the Linux command line, run sudo su -l amp to switch to the amp user.
Run ampinstmgr switch TheInstnaceName01 development (a workaround was added in the dev stream)
From there you should be good to update the server.