Re: [Python-ideas] Was `os.errno` undocumented?