This story seems to have faded in the wake of events ad nauseam. We are all aware of Senor Luigi. However, most folks can’t recall the full name of the guy that allegedly Luigi gunned down. Mission accomplished.
It's the sort of thing that could spark a full blown revolution though. Capitalists aren't known for their love of change.