I’m glad they changed it. The name of your product, the thing it’s gonna be known for, is a terrible place for puns. Losing potential users and contributors over a joke name is dumb as hell.
I found the name funny, but having to tell my 6yo to open “crack pipe” to play his game isn’t as much…