HTML editor for the experienced Web author