I've read through your links. They don't have much to do with the codebase itself, but with protecting the trademarks.
From what I read, you're free to change whatever you want. You just can't go around using their trademarked names for your modified version.
Just happens that Trump is "saving money" by firing air traffic control employees