While this issue isn’t critical, it’s understandably frustrating if you’re frequently switching pages with DevTools open. For now, using the above workarounds is the best solution until (hopefully) a future update addresses the behavior.
This explanation summarizes both the cause and the available workarounds—providing a practical answer to a long-known annoyance.
