EDIT: This is a bug, read @jason's answer I try to customize the Places panel in Gnome3, but both move and remove options are grayed out. Also, I want to add folders to Places (NOT as bookmarks), but ...
How can I edit the gnome-panel "Places" menu? (I have the same SSH server showing twice and it's annoying.) Edit: More precisely, how can I remove the servers I added through "Places / Connect to ...