Hi hackers,
While working on [1] it has been mentioned that this page
https://www.postgresql.org/docs/current/auth-username-maps.html is switching
between system-user and system-username.
Please find attached a tiny patch to clean that up.
[1]: https://www.postgresql.org/message-id/CAOBaU_Yp08MQOK7_k4QVyxL6sf7TURGpjX3tn1Z%2BWxJo2x7%2BGQ%40mail.gmail.com
Regards,
--
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com