And yes, I think this is a perfectly good use of my Friday afternoon. Early today, I satisfied myself that chatGPT can produce quite plausible marker feedback for (second-year) student assignments. Needs tweaking sometimes, but mostly good.