keep track of auto-install extensions; compare version numbers