Update plugin: html5
Update plugin: tagbar