Подскажите, кто встречался с инструментами, способными выдать diff по двум DOM'ам, а также merge'ить их. Вопрос интересует больше с теоретической стороны: какие изменения отслеживаются, общепринятая нотация этих изменений.