dabito/pi-hledit: Pi wrapper for hledit's hash-anchored, stale-write-rejecting file edits.

Source-linked topic cluster with 1 signals across related articles, projects, models, papers, and source updates.