.pgdump file extension

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/13/app-pgdump.html
Description:

Please consider entering a suggested name extension for pg_dump files in
custom format. For example ".pgdump". Nobody would have any doubts that this
is a database backup copy. Over the past 20 years, I have seen many times
that .dump files were treated by various administrators as some minor
temporary files. The abbreviation "PG", on the other hand, is quite
recognizable as PostgreSQL. And such less competent administrators, things
related to PostgreSQL do not touch and the backups will be safe.