Auto-generated documentation update for main

[github-actions[bot]]

Documentation changes were detected. Please review and merge.

[kozlovic]

@levb Was this supposed to be merged? (I guess this gets updated after each commit to main?)

[levb]

@kozlovic yes, I let it sit until the release time since it's not easily diff-able and I have not found an easy way to make it so.