Hacker News new | ask | show | jobs
by blauditore 160 days ago
Same here! Never found a replacement for it in Gnome Shell.