Got it! You’ll definitely want input from @L.M.Sherlock about whether an option like this would streamline that part of the debugging process for him.
If it would only be needed when a dev asks for it – I agree that a button would probably result in it being overused by well-meaning folks seeking help. So putting it behind a key-stroke that a dev could request seems like a good idea!
No apology necessary! (Especially when you’re giving me what I want!) I was just confused – 
and I’d feel silly if I’m suggesting things that have already happened.
I hardly ever get what I ask for so fast, so I hadn’t even thought about where to put it! But I now recognize that I’ve truly hijacked this thread, so I’ll add my comments on your PR instead. Thanks!