Regenerate documentation

Some recent commits did not regenerate the documentation even though they had documentation changes, we need to do it before releasing.