Noob question how to find astrominer

Hi, Sorry if this is a very noob question. I just starting mining for the first time and it is dero. I ran the default miner with only about 3.6 kh/s. I wanted to try out the astro miner which I heard some buzz about on rabidmining. I can’t seem to find an active link to the download. I only found one on google, is this the correct link:

Chrome is aggressively blocking the download.