Add some docs, push accumulated edits