Update plugin: html5
Update plugin: undotree