As this has been refactored into `mozilla-high-res.js`, should be safe to delete, yeah?