Are you sure? The page says it's deprecated and points to https://wiki.postgresql.org/wiki/ProjectName https://wiki.postgresql.org/wiki/ProjectName where it sum

Are you sure? The page says it's deprecated and points to https://wiki.postgresql.org/wiki/ProjectName https://wiki.postgresql.org/wiki/ProjectName where it sums up that the short name is an accepted alias only. The decision dates back as far as 2007.