GNOME "Places" menu: Adding and deleting bookmarks