[docs] [issue12842] Docs: first parameter of tp_richcompare() always has the correct type