How to open DevTools in Opera?

Currently (up-to-date Opera version is 53.0.2907.57), you can do the following:

• go to the O main menu -> Settings
• type "short" in the search box on the top to quickly find the Shortcuts settings
• click Configure shortcuts button
• type "dev" in the text box on the top to quickly find the Developer tools key binding.

This way you can see the current key binding and change the default Ctrl + Shift + I to more common F12 or whatever you like.