I need to send all my installed extensions to my colleagues. How can I export them? The extension manager seems to do nothing... It won't install any extension.