Shallow edits to Verification and Simplified Experiments sections of manual; in good shape.