I must have missed it, but I looked at all the menus and can’t find an Extensions Manager or Extensions Settings.

I tried to find information on how to uninstall an extension and can't figure out what to do other than reinstall Opera.

(By the way, If you hide an extension icon using a keyboard shortcut, how do you restore it?)