Non vorrei sbagliarmi ma io lo ho visto andrò a controllare la cronologia xkè sono sicuro di averlo visto.
Mi spiego meglio....
il tasto modifica nella barra era tutto grigio e quindi non era cliccabile nè si poteva scegliere con cosa modificare il documento e aprendo il menu visualizza la voce HTML non era presente.

Grazie