Comment

Comment by BoredPositron

>>some people

Most downloaded gnome shell extensions[0]:

2. Dash to Dock

4. Dash to Panel

6. Apps Menu

I get where you are coming from and I am in the same boat. However, marginalizing everything simply because of the GnomeWay™ is counterproductive.

[0]https://extensions.gnome.org/#sort=downloads

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton