Made marks.json pretty-printed; checklist state contributes to "has edits"