Do DeDRM, and yet they host their code on GitHub and have a link directly to PayPal in the README for funding? Are these guys trying to get sued?

Well, it’s better to be worried when official copyright holders are going after you and not a bunch of troll bots. Bullying using the legal process and fee is a common tactic. It’s better to legal up and be ready to fight in court than ignore their attacks and get raided by the Fed.