I believe it should stay. If we ban flags for their history then we might ban every flag that existed.
And you cant ban a flag for the actions of some individuals.