Opzioni internet > Programmi > Modifica HTML






chiaramente un editor di testo qualsiasi va benissimo