Often API calls and their designation in swagger differ in case. I would like to have a case-insensitive mode for reporting coverage.