They should have asked them to change their rules instead. Sharing DL links can get the admin in trouble. LueLinks had to do away with it at one point too, and they were primo pirate site back in the day. I think reddit had r/piracy and other subs change their rules - the one that had links to mushroom spore sellers (forgot the name) had to stop sharing links to sellers that sold magic mushroom spores (not an illegal thing to do). It’s tough, but admin made guiding rules, and that breaks one of them. Plus, if it’s on their server, it could be admins head on the chopping block.