On Tue, Jun 13, 2023, at 21:48, Yekaterina O'Neil wrote: Not sure how important this is, but there is a misspelling in both doc files: determinisitc should be deterministic . Also, the shorter doc file contains changes to be included in Sarif upon approval -- should this be changes to be included in SARIF upon approval instead? k