Can't this just be `utf8Equals` because we know the RHS is already lowercase?