Hi, reading this: https://www.postgresql.org/docs/13/install-getsource.html ... I wonder if the link should not directly point to the relevant release, e.g.: https://www.postgresql.org/ftp/source/v13.2/
To me that seems to be more convenient than figuring that out on https://www.postgresql.org/download/. The initial page is about getting the source code, so links to packages/binaries are not required if someone is looking for the source. Thoughts? Regards, Daniel