INSTALL.md: no need to specify new version to update extension