Hacker News Reader

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

Just file it on https://bugzilla.mozilla.org/; you can login with your GitHub credentials.