Remix OS for X86 - does it still exist? I tried to download Remix OS from http://www.jide.com/remixos-for-pc#downloadNow

The links to mirror downloads lead to a non-existent domain:
"This site can’t be reached www.support.jide.com’s server IP address could not be found. DNS_PROBE_FINISHED_NXDOMAIN"

The Torrent links don't seem to work either - zero peers, nothing downloaded, ETA infinity. 

Is there any other source for Remix OS, or is it discontinued?
Wikipedia says it was discontinued July 17 2017.
Remix OS Wiki