allow badges to be undoably deleted, and add lame undo UI.