How to manage opera extensions