Thanks for checking in, Cheryl!

Clearly no one picked up this banner. :)  Furthermore, I'm not aware of any reload-related complaints coming from the community.  I know of only a couple major use cases for reload():  refresh parts of a running app during development and reload a config (e.g. SIGHUP).  Those use cases seem to be mostly stable.  Given ~4.5 years of zero activity here, I think it's safe to say nothing further is going to happen. :)

So I'm closing this issue.  At this point I don't see much value in keeping it open.  If someone later finds a concrete motivator for more detail about module-reloading in the language reference (or decide they want to drive this effort) then they can re-open this issue (or create a new one) at that point.