This completes my earlier commit 406279e4. Extension installation is not about just decompressing a file in the right folder. We must also make the extension manager and the GUI aware of this newly available extension.