Better documentation of nukesort().