FWIW: "The name Postgres is an accepted alias for the PostgreSQL project. However it is an alias or nickname and is not the official name of the project."

https://wiki.postgresql.org/wiki/ProjectName