/devel/py-total-ordering/