tame the floating behaviour of <dl>s: clear both before and after. the previous behaviour was not robust in the presence of right-floated images, shuffling text blocks all over the place.
rename region equivalence to correspondence for consistency
mention visual undo