Unify documentation, fix code-rot in examples.