У неё, оказывается, была опция "Показывать исправления в исходном документе", но исправления показывались тем же цветом, что и основной текст. ПОэтому в глаза не бросалось.