@Heikman  It would by nice if you can push your comments every time you have fished the documentation of some files. IMO it is not necessary to push all in one commit.