Removed a now obsolete JS file.