Where was `source_url.js` before? Did it accidentally get deleted at some point?