Tag: how to install vitals extension in gnome desktop