Unmerged patch from David Bolen to add --ignore-case.