The address they claimed received the mining payouts was
176sh81PQupUsFyX6hNL2PTYydSuL7Wu73 and if we look at its history they did receive over 4000 BTC, mostly coming from mining activity. The BTC was then sent to their old hot wallet address, so the story does check out. They seem to have discontinued after the payouts got too low.
Incredible, did they really mine 4,000 bitcoins, or is most of that contributed by the website’s users? Do you know what percentage of those 4,000 bitcoins went back to the community?