Pico 4 piracy discord server

Did the Pico 4 piracy discord server get banned? Is there any new server link? There is no update on the subreddit also.