This pool still seems somewhat active, not sure were people are trading if the only exchange has no offers though. Ill take a look where you recommended and see if anyone is trading there.
Thanks
https://pool1.cash2.org/Connected Miners 57
Connected Workers 57
Pool Hash Rate 327.71 TH/s
Maybe there are any zombie miners xD Or maybe there is any p2p market (or OTC market) Look strange indeed - there seems to be few hundreds of mining devices working

When I look at the block explorer, it does seem to be active. Still not sure where to exchange the coins though.