Re: Re: pygettext dilemma

> I personally don't feel like it's that big a problem.  So far, in my
> experience the only docstrings that really need to be extracted are
> module docstrings in command line scripts.

I disagree somewhat, but I also have a different application in
mind. I do want to get translations for the doc strings of the
standard library; in fact, that is what the python domain in the
translation project has at the moment. The application here is
that the help() function should present the translation of the
doc string if available.

Regards,
Martin