This also appears in `popup.html` and `options.html`.