Ah, OK, that makes sense.
I also made a mistake in the reply to your other post, which I’ve corrected here: How to shorten mp3 loading in Audacity? - #3 by steve
FossHub was the official host for Audacity for several years. They are totally reputable, but it’s always good to be cautious when downloading, so I always test downloads here: VirusTotal