It is not clear whether javadoc should do case-insensitive option matching.
The fix is easy this is to make sure we do the right thing.