Discussion on changing name from PostgreSQL to Postgres · HackerTrans