Done!
(Perhaps record the parent version of the edited page so that merges can be done
between queued and normal edits.)