Case sensitive option

[ghost]

case insensitive has an option:

-i, --ignore-case

but once you turn it on, you cannot turn it off. That option could look like
this:

-s, --case-sensitive

If this option existed, you could write a function like this:

pt_bravo() {
   pt -i "$@"
}

then if you passed the new argument like this:

pt_bravo -s charlie delta.txt

the command line argument would override the function argument, as it comes
after.