La respuesta de Neal no se aplica a la combinación actual de Ubuntu 16.04 y gtk3. Los detalles se almacenan en ~/.config/gtk-3.0/bookmarks
.
Mirando en Ubuntu, no parece haber una opción para editar las cosas sofisticadas, solo el servidor y el nombre utilizado en el menú (hay una entrada de "editar marcador" en el menú de marcadores, pero estoy seguro de que encontrado eso).
Los detalles reales se almacenan en un archivo de texto ~/.gtk-bookmarks
, por lo que debería ser razonablemente fácil editar el archivo.
Tal vez le gustaría presentar un error para su distribución o directamente con Gnome.