Change001
Last modified by Vincent Massol on 2021/04/06
Features of extensions are now sent by active install. These are the various extension ids under which a given extension is known. Usually used to relocate extensions under a new extension id.