Thanks @Nadia. I’ve never seen that Docs page before because I rarely visit that website and I’ve not been taken there by any of the other pages I do use. I only go to safenetwork.tech if I have to, if I think it might have something I can’t find, which is what I did here.
When I did go to safenetwork.tech looking for downloads I didn’t find that page. But if I had, it doesn’t help me find the downloads. I didn’t realise we had two Docs pages, the other being linked from the header of this forum (which I prefer, except that the links are not always up to date). That Docs page is much quicker and easier to read, scan, find what I need - which as a Dev working on a problem, is what I need (minimal distraction from the mental space I’m in, which can take hours to recover when lost).
I really don’t like visiting safenetwork.tech for that reason, it feels unpleasant and I can’t get away quickly enough. I don’t know if other devs feel the same, we are all different.