3 ms·
Oh, I had never discovered that feature... So I won't miss it yet. Need to think whether that makes it worth to use the extension again. For now I just enabled
by usr1106 5y ago
Oh, I had never discovered that feature... So I won't miss it yet. Need to think whether that makes it worth to use the extension again. For now I just enabled the manual configuration and have not noted any differences yet.