>> I guess the beta and rc sources can be removed:>> https://www.postgresql.org/ftp/source/
>Indeed they can, good spot. I've done it, it'll show up once it's synced.
Thanks, Magnus