Manual (production)

Manual from mini-buildd's 2.0.x (production) branch.