One line thank-you emails to lecturers/professors - yes or no?
It doesn’t matter all that much. But in general it’s good practice to thank people when they help you with something. And the extra workload imposed by dealing with such thank you emails is too insignificant to worry about.

When in doubt about these sorts of questions, apply the rule “professors are people”.