https://pyo3.rs/main/class/object#comparisons needs updating since we merged #2089 (to release in 0.20).