Fix deprecation commment on `core::cmp::lexical_ordering`