Also, we need to decide: Apparently, here we call it addons, the class is called Extension, though.