opera settings, etc. terminology
Opera has a list of internal pages like the following:
A few of the above appear to be specific for opera beta or developer. What are these pages called? panels? pages? Also is there a more complete list of these opera:??? options, so I can be sure I am not missing any?
They are called opera internal pages. Not sure how it occurred to me. There is even an extension for it: