Add installed extensions to the extensions index

The focus of the extensions index is currently to contain available extensions. Sometimes you have installed extensions, but it's a coincidence and more importantly there is nothing allowing to filter on installed extensions.