She found the official Linux Mint mirror. Not a shady torrent, but the real archive. She saw the file: linuxmint-19.3-xfce-32bit.iso .