This commit documents a semantic change in 9.12 that takes effect as
part of the implementation of the NamedDefaults extension: defaulting
will now take place in more situations than it did before, even when
the extension is not enabled!

Fixes #25777