fedoragold is officially dead, but old fedoracoin (tips) still alive and well !
Unfortunately only gate.io is left as exchange, and their KYC policy seems rather deterrent to people.
Since I can't sell my mined coins anymore, I am considering to shutdown the block explorer by end of 2019 if there are no new exchanges beside gate.io.
(If anybody is interested to buy my remaining stack of TIPS OTC, please PM me)