ExtMan

A Simple Extension Manager