docs: change "default role" wording to "predefined role"

Bruce Momjian <bruce@momjian.us>

Commit: 0e936a2148472e6c364aee8c3e298dc16dc4240a
Author: Bruce Momjian <bruce@momjian.us>
Date: 2020-01-14T18:13:04Z
Releases: 13.0
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: rirans@comcast.net

Discussion: https://postgr.es/m/157742545062.1149.11052653770497832538@wrigleys.postgresql.org

Backpatch-through: 9.6

Files

PathChange+/−
doc/src/sgml/monitoring.sgml modified +1 −1
doc/src/sgml/user-manag.sgml modified +14 −14

Documentation touched