
This colleague is a fellow maths teacher and 1st Class Computer Science graduate.

This colleague had to seek help on the best way to get Spring.

I had to admit I wasn't sure.

The 'Download' link in the nav bar (https://springrts.com/wiki/Download) , is different to the Download & Play link on the front page (https://springrts.com/wiki/GamesDownloads)
IMO both should point to a page which consists entirely of two large buttons:
'I want to PLAY games'
This links to the current download & play link, only that page should be ONLY SpringLobby and WebLobby downloads. If games have their own standalone installers, then they can be linked on their own respective pages / external websites / the Games page (https://springrts.com/wiki/Games).
'I want to MAKE games'
This links to the existing Download page for blank engine installs, but that page is made over to include links to Gamedev:Main, SpringABC and PublicRepos wiki pages.
For clarity; the problem was further exacerbated by being unable to load the wiki on work computers, not sure if a firewall issue (didn't reach the usual firewall page) or if it has been down at some point today. In the end I suggested he point his browser at http://weblobby.springrts.com, after I checked that it still existed. Then I remembered he is a Steam user and suggested he tried getting it via the EvoRTS steam installer but did warn that would have its own caveats e.g. game filters in place.