#9111: document that do_help() looks at docstrings.
1 file changed