The article in question.   I had dearly hoped that this grandfatherly 87-year-old genius would be able to live out the rest of his life without being a target of the woke brigade, but I guess even John Williams music is now "problematic" to these loonies. Relevant paragraphs quoted below: