fixup on removal of git-page-history