Opera won't open opera://extensions. Why should it, though?