So maybe next time when someone sees a pull-request like this, they think before merging it? *provided no one gets hurt. I sympathise with the uproar, but physically hurting the guy is definitely too much