Development guide outdated?

Summary

The Windows development guide seems to be outdated.

Qt creator guide refers to non-existing archives (well, at least I didn't manage to find them - only found installers in CI) and results in missing gnutls, and cli guide tries to download openconnect 9.12 from https://github.com/horar/openconnect/releases, which has only 8.10:

[ 24%] Creating directories for 'openconnect-devel-v9.12'
[ 26%] Performing download step (download, verify and extract) for 'openconnect-devel-v9.12'
-- Downloading...
   dst='C:/Users/octo/ocgui/openconnect-gui/build/external/src/openconnect-devel-v9.12_mingw64.zip'
   timeout='none'
   inactivity timeout='none'
-- Using src='https://github.com/horar/openconnect/releases/download/v9.12/openconnect-devel-v9.12_mingw64.zip'