When I was thinking about #1629 I naively assumed that we'd have to do some heavy lifting in the index for case sensitivity.  I'm not at all sure why I didn't think of this.  Nice!