我在使用 Gnome 3.4 的 Debian Wheezy 稳定版上有几个默认扩展，在https://extensions.gnome.org/local/的“已安装扩展”页面上（使用 Iceweasel 的 Gnome Shell 集成插件），无法被删除，就像我自己从 extensions.gnome.org 添加的那些一样。
这些包括（无论如何对我来说 - 这可能不是完整的列表，因为我可能启用了其中的一两个，因此无法快速了解所有这些）：
替代状态菜单
应用程序菜单
自动移动 Windows
Dock
Gajim IM 集成位置
状态指示器
SystemMonitor
用户主题
窗口导航器
工作区指示器
检查“已安装扩展”页面的 HTML，我发现无法通过 Firefox 的开发人员工具破解它（至少在我有限的 HTML 知识和快速浏览的情况下）以某种方式使这些扩展可通过该页面卸载。
是否像删除（例如第一个）文件夹一样简单/usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.com，然后重新启动 Gnome Shell 并将其从列表中删除？
我想正确地做到这一点，而不会在以后引入问题。