in reply to maintaining a time of last edit for nodes

I think, for now, we should simply set (update) document.lastedit when document.doctext is modified via a high-level edit operation. Clearly, updating lastedit whenever the document record is written back to the DB is bad (or at least useless).

A word spoken in Mind will reach its own level, in the objective world, by its own weight

In Section Inner Scriptorium