docs: change "default role" wording to "predefined role"
The new wording was determined to be more accurate. Also, update release note links that reference these sections. Reported-by: [email protected] Discussion: https://postgr.es/m/[email protected] Backpatch-through: 9.6 Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/0e936a2148472e6c364aee8c3e298dc16dc4240a Modified Files -------------- doc/src/sgml/monitoring.sgml | 2 +- doc/src/sgml/user-manag.sgml | 28 ++++++++++++++-------------- 2 files changed, 15 insertions(+), 15 deletions(-)
