It’s one of the area where Postgres docs are light.

I don’t remember they have a similar doc for setting up HA.