Puntuado con 5 de 5 estrellas

I like how this extension’s very simple. I don’t ever need to save the highlighting; for that, there are other extensions.