Bump version to 0.12, a few minor documentation fixes.