✏️ Editing: jquery.pretty-text-diff.js