The main issue I have with the existing doc is its use of 'top-level' to mean the main, initial, startup module that first executes the user code for a python 'program'.  We routinely use 'top-level' instead for the global scope of a module.  Example: https://docs.python.org/3/glossary.html, 'qualified name' entry, line 2: "For top-level functions and classes, ..."  Within '__main__', some code is top-level, but class and function bodies are not.

But this does not have to be part of this PR.