Seriously. That's exactly the same thing that went though my mind when I read the title.

They obsessed over the plus like crazy. Removing it from search, removing it as the icon to open a new tab in Chrome. I still remember thinking "This is so petty and trivial. If Google+ is so great, it'll stand on its own feet, regardless of the number of plus signs"