Allora: ho installato le due estensioni che avevo linkato e ho fatto qualche prova veloce:
Highlighter:
Ricorda le evidenziazioni solo se salvi la pagina intera e la ricarichi da locale: praticamente modifica l'HTML con degli span con i relativi css e poi salva il nuovo HTML.
Comoda la selezione dei diversi colori per evidenziare.
Però un po' limitante il fatto del salvataggio obbligato della pagina.
E poi non puoi più eliminare l'evidenziazione fatta...
Web marker:
Mi sembra molto meglio per come ricorda le modifiche: si ricorda anche se non salvi la pagina, basta che la metti nei bookmark col suo comando e poi puoi ricaricare la pagina anche da web.
Si possono modificare le evidenziazioni fatte anche a distanza di tempo, sia da bookmark che da pagina salvata in locale!
Non ha però colori diversi dal giallo... ma non è fondamentale e penso lo possa implementare velocemente in futuro.
Interessante come memorizza i dati delle evidenziazioni direttamente nel link del bookmark!
L'unica cosa che mi pare limitante è: se si sovrascrive in locale un file precedentemente evidenziato e salvato in locale, si perdono le modifiche fatte.
Per questo preferivo un salvataggio su un file diverso dall'htm. Non si può salvare un file diverso da html da Firefox?
Oppure se si salvassero i dati memorizzati nel link del bookmark anche su un meta tag del file htm, se poi si potesse rileggere quel meta tag da Firefox prima di salvare il nuovo file... Pensate si possa fare qualcosa di questo tipo?
Comunque per ora sono molto soddisfatto da questo web marker!