I find it interesting that the shortcuts to open devtools vary slightly across browsers, with Windows users needing Ctrl + Shift + I or F12, but no mention of a universal standard. https://developer.mozilla.org/en-US/docs/Learn_web_development/Howto/Tools_and_setup/What_are_browser_developer_tools