5 ms·
Yep, works. However, you need to magically restart the browser. Apperently, it runs some background processes whose names contain neither the character sequence
by oleks 5y ago
Yep, works. However, you need to magically restart the browser. Apperently, it runs some background processes whose names contain neither the character sequence "firefox", nor "mozilla", according to pgrep.