Re: [pypy-dev] Question about "Completing 'os' module" (issue 833)