Quick questions about postgres name?

Hey there folks,

The manual contains a "Brief History" of postgres and notes that the name 
Postgres was retained as an official name after Postgres95 added official 
SQL support, and because 95 wouldn't stand the test of time.

It makes mention of the original professor who spearheaded the project 
under a DARPA grant, but it would probably do well to know where the name 
came from.

If there's somewhere where this should be suggested, let me know.

(Wikipedia has some of this history -- 
https://en.wikipedia.org/wiki/Ingres_(database))

-Dan

--