static void removeIgnoreCase(L<S> l, S s) {
  int i = indexOfIgnoreCase(l, s);
  if (i >= 0) l.remove(i);
}