Errata: gerade habe ich es mal versucht, und ich wurde nicht auf Anhieb schlau daraus: a) von gnome-shell-extensions-Seite (https://extensions.gnome.org/extension/162/todo-list/) installierte es sich in stretch nicht richtig, meldet aber auch keinen Versions-Mismatch, was seltsam ist. b) in jessie geht install und auch deinstall, nur ein gnome-restart war zwischendrin nötig. (Alt+F2 RG) = Restart Gnome