Update docs; change version number.