Historic fact is never irrelevant, It was not irrelevant to Gibson and the boys on 617 at the time and nor should it be now.
Changing history to suit current social-political climate is a slippery slope.
To be clear, I have no particular like of that name, but it was what it was and as such should remain as it was.