[23:22] <demora> Hello can someone tell me why the shell theme option in my recently installed ubuntu gnome 16.10 is greyed out in the gnome-tweak-tool ?