4 ms·

Glad to hear distros are shipping gnome extensions, situation is not quite as ridiculous as it sounded from reading that