Note that sorting is case-insensitive

@adam3smith, @bdarcus, and @fbennett all agree that sorting should be case-insensitive, so I made note of it in the spec.

I'll accept this pull request once people have had a chance to review.