自分も>>95と同意見。
正誤ではなく、好みで赤を入れてくる校正さんっているよね。