Deleting push.js, never ended up using this.