Bring back the accidentally deleted manual. fixes #32