I see. It appears to be yet another instance of Stallman being Stallman. I’m going to be very surprised if this goes anywhere at all.