3 ms·

I am aware. But the difference is Google wouldn't care and Mozilla at least did something, even if it wasn't removing the extension.