I mean no one mentions the amount of Hollywood movies that use Wagners music, the best case in point would be Charlie Chaplin’s use of his music in The Great Dictator which was a satire against Hitler.
The most recent use I can think of was The Army Of The Dead
That was the point I was trying to make, a one off comment he made years ago which is probably now forgotten but is actually worse than for the comments he has recently said which he is being attacked for.
Rumour has it that because of the Gary Glitter association to the song, the director purposely chose it to make the audience feel even more uncomfortable with the awakening of The Joker.