From time to time, the DevTools begin to overlap the page. It happens most often when my local (dev) server with the HMR (Hot Module Reload) reloads the app I'm developing, but it also happens while browsing sites.
This is annoying, especially when I use the hide and show hotkey Ctrl + Shift + I. Please, add F12 support if possible.