Updates man pages. The things that are commented are TODOs or confusing details (it is too late to learn them at the moment). They are seemingly complete.