While that's OK for devtools, I would suggest to treat these two files
differently from the rest of Devtools:
* This is an informative page (about:devtools), and contains warnings
targeting end users who activated DevTools by mistake, e.g. "You
activated a Developer Tools shortcut. If that was a mistake, you can
close this Tab."
* A lot of strings are in common with mozilla.org, so you already
translated them for the Developers page.