getoptint() and getoptstr() are case sensitive in their
matching of option names with what users have entered in
their User options file or through other config files.
Some have uppercasing (ReportCodeset) and some don't
It would take a burden off of the user to allow these option
names to be case-insensitive.
So my guess would be to wrap a lowercasing function
around the two strings being compared in these getoptXXX()
The only caveat is to anyone who might use characters from
outside basic ASCII for user option names.