; Don't document a complicated default

; Don't document a complicated default

* doc/misc/message.texi (Superseding): Don't document the default value
of 'message-ignored-supersedes-headers' here; the list was out-of-date,
and is likely to become out-of-date again in the future if updated.
It's also easy enough to look up for users outside of Info.

(cherry picked from commit 19791839cfbb9202aff8a8d476ec76741592c97d)