В 2023.9.0 один из пользователей нажал "Игнорировать" другого, установил галочки. Но снять их уже не получается. При сохранении они все равно остаются.

Редактировать игноры нужно из меню "Инструменты" - "Игнор-списки".

Вопрос закрыт, спасибо)