Remove second copy of `nocase` option notes

There were two copies of the `nocase` option documentation with two different wordings for the same thing. Removed one of them, the one which seemed less polished.