Add documentation on custom Prelude modules (#22228)
I updated the User's Guide and included a discussion on custom Prelude
modules with the name Prelude
. I added the potentially-confusing examples from #22228 (closed).
Resolves #22228 (closed).