Documentation critique, edits, simplification