Manual (production)

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