However, extensions have their own update system through the extension manager interface (Tools ▸ Extension Manager menu).