I agree that the real-time advantage is much more important than the "comprehensive" feedback of a human grader. For style problems that are really a detriment

I agree that the real-time advantage is much more important than the "comprehensive" feedback of a human grader. For style problems that are really a detriment, students will drift toward better style to save themselves time when correcting and resubmitting.