Sorry, I don't know how that got added. It's https://flipdisc.io/

Excellent question, it should probably be changed to https://flipdisc.io/ (truncating everything after the first /)