Richard Stallman <rms@gnu.org> writes:

Hi Richard,

> Every time I see "Tramp", what enters into my mind is "Trump".
> I may not be the only one who reacts this way.
> Might we want to change its name?

Being the Tramp maintainer, I'm opposed to this. I do not want to let
whomever dictate what we do, being the POTUS or not.