Boost your productivity with these Gnome extensions that make Linux faster, smarter, and more efficient to use every day.