More work on bug #8073.  The history pull now works.