@piratenpanda @supertobi @mxjaygrant @GIMP
What about all these other meaning, most which have been around longer and are still in use?
https://en.wiktionary.org/wiki/gimp

All kinds of definitions related to detail-work, especially for making aesthetic improvements, and even a definition meaning "tidy" or "elegant"?

Sure, you can argue they thought the double-meaning could shield them from criticism or whatever, but I doubt they'd even care back then, and that's not a far walk from paranoid hypotheticals.