core: Clarify the documentation on core's prelude

Closes #14246