I’ve found out the hard way that the shortcut to open the Developer Tools window is ctrl-shift-i. Now, I frequently accidentally hit that when I want ctrl-i for italics, so I would like to disable that combo or change it to something else, but it is not listed in the shortcut section in the settings. Is there a way?