It really depends on how one uses the software. If it's used as a learning aid to reinforce certain patterns (eg. "I went to office" -> "I went to the office"),

It really depends on how one uses the software. If it's used as a learning aid to reinforce certain patterns (eg. "I went to office" -> "I went to the office"), it's fine in my opinion. After all, everyone started as a beginner. If it's used to fix whatever ESL word salad one writes, without using the corrections as a hint to improve one's command of the language, then I agree with you.