Ciao, e quindi come facciamo? Devi proporre tu la modifica?
A me "Mobile bookmarks" onestamente va bene, per cui ti direi di aprirlo tu quel bug
Peraltro non ho idea se una modifica abbia effetto su installazioni esistenti.
Comunque spesso abbiamo optato per soluzioni differenti, discostandoci anche un bel po' dall'originale.
Sicuro, "Da dispositivo portatile" a me non piace, preferisco che rimanga chiaro che si sta parlando di Segnalibri, e "Segnalibri da dispositivo portatile" è decisamente lungo (vero è che i francesi hanno "Marque-pages des appareils mobiles").