After reading that for the first time I created a greasemonkey script that replaces "Marc Benioff" with "man responsible for the largest phallic structure in western US" so that I don't have to read his name again.
Reminds me of the plugin I used to have that replaced every instance of “millennials” with “snake people” and every instance of “Great Recession” with “Time of Shedding and Cold Rocks.”
Thanks for reminding me I programmatically no longer _have_ to see the same orange face daily when reading news. Totally forgot about greasemonkey!