Both of those options are exactly what the writer wants to avoid though, and the reason they are using AI for grammar correction in the first place.