GitHub repository: world-admin/extension_control
Description: Elementary extension manager. Compact design, no superfluous features.