Delete dead code.

It was added 12 years ago, but never used (and in the case of sort, never
implemented).