Clean up the question about the insertion_sort function

It's now numbered more rationally.