ERROR: cannot change name of view column

Changing the name of any column in a view gives the error "ERROR: cannot
change name of view column".

The documentation is clear: "The new query must generate the same columns
that were generated by the existing view query (that is, the same column
names in the same order and with the same data types)"
Reference 1: https://www.postgresql.org/docs/9.3/sql-createview.html
Reference 2:
https://dba.stackexchange.com/questions/586/cant-rename-columns-in-postgresql-views-with-create-or-replace

However, ALTER TABLE ... RENAME COLUMN will change the view column name
(see Reference 2 above).

Thus, the original error message is not completely correct. Ideally,
the CREATE OR REPLACE VIEW would automatically apply the ALTER TABLE ...
RENAME COLUMN (or underlying procedure) since it is available and fulfills
the original DDL request, thus making the error message unnecessary.

Or at the very least, the error message could be changed to suggest using
the ALTER TABLE ... RENAME COLUMN until the feature is included in the
CREATE OR REPLACE VIEW.

PostgreSQL version 11.1