Bump version after API change, update CHANGES and rebuild PDF docs.