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