ignoreSensitiveCase.js deleted, new design added ('Which of the following options should be ignored?'...)