4 ms·

I think they have been doing the same on Windows for a while. Linux users are still allowed to install what extensions we want.