This list of checkers is used to populate the filter UI. When a defect appears with a new checker name, it is automatically added to this list, so it is not normally necessary to edit it.