Currently, the Mac OS Download page page only covers installing PGAdmin via direct download from the web page.
It would be great to mention Homebrew as an alternative installation method, as they provide a convenient way to download and install the software using a single command:
brew install --cask pgadmin4
See pgadmin4 — Homebrew Formulae for details.