È divertente perché qualche anno fa credevo di aver copiato il tuo metodo (quello della doppia sottolineatura)... solo oggi scopro che facevano il contrario l'uno dell'altro: io sottolineavo prima con la biro e dopo procedevo con l'evidenziatore!
Crepo.