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.
I'd have thought they'd want him dead for all to see. See what happens when you touch an untouchable.