Queste estensioni sul sito ufficiale non ci sono, il system-monitor che è sul sito è diverso, ed io preferisco questo, anche se mi funziona all' 80%. A chi interessano si possono trovare in quella specie di mio repository, chiaramente nella cartella gnome-shell-extensions-3.2 :)