No info about v13.1.0 on citusdata.com

[Green-Chan]

Hi! I see the new release v13.1.0 on github, but I can't find anything about it on citusdata.com. The latest release mentioned at citusdata.com/updates is v13.0 (with no information about updates e.g. 13.0.4 by the way). And there are no docs for 13.1 as well.

[onurctirtir]

Also need to update documentation for 13.2.0.