Why would it be a problem if they use it? In a recent lecture I focussed on shortcomings of ChatGPT, language watermarks and my aim was that they do not want to use it - or develop the skill to edit efficiently.