[david_p]

chrisaljoudi is not pushing anything compared to gorhill, just compare the commit rates: - https://github.com/chrisaljoudi/uBlock/graphs/contributors - https://github.com/gorhill/uBlock/graphs/contributors

I am not claiming that chrisajoudi did anything intentionally wrong, he simply does not contribute as much.