[docs] [issue17576] PyNumber_Index() is not int-subclass friendly (or operator.index() docos lie)