Comment by JupiterMoon

Cool. I'll check this out next time. Any way to report the disappearing dev tools?