La risposta di Neal non è applicabile per l'attuale combinazione di Ubuntu 16.04 e gtk3. I dettagli sono memorizzati in ~/.config/gtk-3.0/bookmarks
.
Guardando in Ubuntu, non sembra esserci un'opzione per modificare le cose fantasiose, solo il server e il nome usato nel menu (c'è una voce "modifica segnalibro" nel menu dei segnalibri, ma sono sicuro che tu trovato che).
I dettagli effettivi sono memorizzati in un file di testo ~/.gtk-bookmarks
, quindi dovrebbe essere ragionevolmente facile modificare il file.
Forse vorresti segnalare un bug per la tua distribuzione o direttamente con Gnome.