simple html edit from codenvy