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