delete a shortcut in flashDB.js