Delete abbrev.js