Python 当应用于字符串格式时，%operator的文档中是否存在错误？

是旧式字符串格式的说明，其中规定了八进制和十六进制值的转换。 我已经尝试过语法，但是发生了意想不到的事情

代码'%#07x'%1223和'%#07o'%1223的结果格式相似，分别为'0x004c7'和'0o02307'。但是，有关八进制值的相关描述与行为不匹配

如果结果的前导字符不是零，则替换形式会导致在左侧填充和数字格式之间插入前导零（“0”）

---

所有代码均在版本为

3.5.2的CPython交互式解释器中执行
 我已经向Python社区报告了这个问题，错误已经修复。前面的描述已经更改为正确的描述。
请参阅第1行的部分。
我已经向Python社区报告了该问题，并且该错误已经修复。前面的描述已更改为正确的描述。
请参阅第1行的部分。
是的，文档似乎过时了。我建议您更新此文档…我这样做了，我收到了积极响应，但我不确定它是否代表官方声音。是的，文档似乎过时了。我建议您更新此文档…我这样做了，我得到了积极的回应，但我不确定这是否代表了官方的声音。