Unsupported hotot.shellex extension will not be updated anymore. Consider using TopIcons extension. It works with Gnome 3.6 and hotot-git.