News for hackers. Stuff that matters.
Re:Renaming Coq by dkarl on Thursday April 08, 2021 @11:12AM (#26739802)
I would not call it "human nature" or give up on changing it, but I agree that changing the name is a quick and easy win compared to changing the context.

There are no comments on this comment yet.