I would like to get information about the extensions that WebKitGTK managed to load, probably at something like webkit://extensions, it could be a simple list of files but having a bit of metadata (description, homepage, …) would make it better.