For use with the built-in extension manager