Documentation and formatting changes for option.rs.