As we discussed on Monday, I added the jquery-amend plugin to its own
This is a jQuery plugin that smoothly amends a DOM with possibly updated
HTML, rather than just replace it outright.
This solves some minimal annoyances such not unnecessarily blowing away
user interaction state, such as highlighting links, open drop downs, or
Marius did some more work to optionally use key based correlation.
That's not in here yet. But it makes sense to include it once it's ready.