[pestaa]

Are you sure? The page says it's deprecated and points to 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.