A little more text, and some really minor cleanups.
diff --git a/Doc/lib/libmain.tex b/Doc/lib/libmain.tex
index 949d2b2..00c7426 100644
--- a/Doc/lib/libmain.tex
+++ b/Doc/lib/libmain.tex
@@ -1,9 +1,16 @@
\section{\module{__main__} ---
- Top-level script environment.}
-\declaremodule[main]{builtin}{__main__}
+ Top-level script environment}
+\declaremodule[main]{builtin}{__main__}
\modulesynopsis{The environment where the top-level script is run.}
This module represents the (otherwise anonymous) scope in which the
interpreter's main program executes --- commands read either from
-standard input or from a script file.
+standard input, from a script file, or from an interactive prompt. It
+is this environment in which the idiomatic ``conditional script''
+stanza causes a script to run:
+
+\begin{verbatim}
+if __name__ == "__main__":
+ main()
+\end{verbatim}