>>> This doesn't seem to have all the refinements that autoindex has:
>>>
->>> * `autoindex` attaches the record of deletions off the `index` page, which
+>>> * `autoindex` attaches the record of deletions to the `index` page, which
>>> is (nearly) guaranteed to exist; this one attaches the record of
->>> deletions to the deleted page's page state.
+>>> deletions to the deleted page's page state. Won't that tend to result
+>>> in losing the record along with the deleted page?
>>>
>>> * `autoindex` forgets that a page was deleted when that page is
>>> re-created