<div dir="ltr"><div><div><div>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<br></div>- the name of the project that preceded DMPlex<br></div>- a term from category theory<br></div><div><br></div><div>Thus, is it safe to remove all mention of this term from the documentation? <br></div><div><br></div></div>