https://www.markbernstein.org/Feb24/TinderboxforHistory.html
My two cents…
Worth the read. A key points to infer, as quite reasonably not stated:
The essay also quietly shows how Tinderbox supports emergent structure (incremental formalisation). We don’t need what we don’t need—we can add that as the need becomes clear. Unless re-doing a specific task, premature formalisation is often wasted effort and unneeded angst, though it is something many of our process-defined software tools unwittingly
Some documentary references to feature alluded to (citing in aTbRef only 'cos I can’t web-link into app Help):
…and all just from a bit of gentle exploration of the source material, without any rush to process.