I’ve had a request to remove a name from the cease and desist request I put on GitHub now. Apparently nobody wants to be the one who sent it.