remove old external.js

this is unused and old, and we no longer ship custom minified-only js.