A case-insensitive comparator of titles.
static int compareCaseInsensitive(WithTitle a, WithTitle b) { return a.title.toLowerCase().compareTo( b.title.toLowerCase(), ); }