There you have it—nine criminally underrated GNOME extensions to help you augment how you work, enhance overall quality-of-life, and heavily customize your desktop to make it your own! Do give these a ...