AI and Gnome Shell Extensions / hacker news