3 ms·

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

• dochtman 9y ago
  Just file it on https://bugzilla.mozilla.org/; https://bugzilla.mozilla.org/; you can login with your GitHub credentials.