I have every sympathy for Lady Jane. In a way I agree with the request for a “hide user” function, but in another way I don’t. Being relatively new to Leo, it took me a while to learn to ignore posts from specific users, after an early period getting involved in worthless “yes it is / no it isn’t” exchanges, and falling for the traps set by a specific user who shall remain nameless. Since I have been on Leo, there have only been a couple of users in the EN-DE section whom I have resolved not to respond to or enter into discussion with. With a bit of practice one can withhold the impulse to respond.
The problem with that strategy is that real errors in threads may not get corrected, and if we begin filtering out the contributions of specific users, the problem will be exacerbated. Ultimately, expelling the less constructive participants is the only real option, if one is to prevent the discussion climate being soured over a long time. That was the result, sadly but I think rightly, in the case of one participant who was the subject of lengthy debate on Betrifft Leo a couple of years ago.
The problematic cases I think are those frequent contributors to Leo who use Leo as a kind of Unterhaltung, being retired or otherwise at a loose end, without any specific professional or academic interest, or indeed even linguistic expertise (of regional variants, different registers et cetera).
If our moderators could steer such contributors onto the Quasselzimmer, I think that would alleviate the problem. But I appreciate that moderators are understandably loth to intervene preventively (or is it preventatively?) before things get critical.
Patman's suggestion sounds a good way of tackling the problem without specifically hiding contributors. Perhaps it is technically feasible.