[Python-Dev] More pydoc questions

[Tim Peters]

[David Abrahams]
> N^HNA^HAM^HME^HE
>    docstring_ext

Note that pydoc contains this handy <wink> function:

def plain(text):
    """Remove boldface formatting from text."""
    return re.sub('.\b', '', text)

Note that it's important that the regexp *not* be a raw-string there (it
will do somthing quite amazingly different if it is).