Issue #8627: remove out-of-date warning about overriding __cmp__
3 files changed