[some_other_time]

Perhaps another ChatGPT variant could answer the question: Is this comment from a constituent (or contributor)? If not, ignore it.