Undo.js: Reverting things back to the way they were, since 2013