I can definitely believe they changed it to 'aide' because we Americans would never not think of Bruce Wayne when hearing 'batman.' Although, I feel the show would have had a great joke on their hands with Jarvis having to painstakingly explain what a batman is when people get confused and then deciding to just say 'aide.'

Lovely icons!