ok I think if we add a case-insensitive comparison op to ByteString or here, we can do that.  wdyt?