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

Bruce Momjian <bruce@momjian.us>

Commit: 29af9c542f6cdc9a6456b175fdcdfe7a28b77d6c
Author: Bruce Momjian <bruce@momjian.us>
Date: 2020-01-14T18:13:04Z
Releases: 12.2
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