I am reading some of the DMPlex docs and would like to take the opportunity to clean up things I notice. There are several places in the man pages and source that "sieve" is mentioned. As far as I know this is - the name of the project that preceded DMPlex - a term from category theory
Thus, is it safe to remove all mention of this term from the documentation?
