Manuals

Edited version of the technical manuals.