Undo the previous commit. First, it didn't work properly.

Secondly, I rather introduce a specialized sorting index for strings than
hack the skiplist implementation.