Large tool Set > Extension Manager 2025-07-122025-07-17 |Manage installed extensions: update, disable, or uninstall.