Bump hex version number.
Update doc html.