Learning about zippers, I am trying to make sense of the difference between children and children-auto, as documented in the auto-generated docs, however, by reviewing the code and inspecting its history with git-log, it looks like the last reading of this meta property (possibly through the auto? function) was removed by this commit in 2016.
I think I will give up my trying to understand what "auto-descending by tag=" meant when it no longer matters. I would find it good to remove mentions of it from the documentation to save time to future learners like me, or at least clarify that the behaviour of tag= doesn't change with the choice of children v. children-auto.
What could change, anyway, if there is no code sensitive to this metadatum in the library? Is there another library that uses it, or is it targeted only at user code (remembered in a comment to the auto function), or is it just not useful anymore and should the metadatum (the :zip-filter/no-auto? key) be dropped and associated functions (including children-auto) with it?
