Sorry for the noise, folks, I have banned the offending user.
This is part of a larger campaign of harassment targetting me stemming
from the belief that I was involved in publishing a report on Richard
Stallman, in an effort to harass and discredit me and in particular to
distract attention away from this report.
The report in question is off-topic for our mailing lists, and I will
not invite discussion on it here. That said, what the trolls would
really like is for you not to read it, so I will take this opportunity
to signal boost it to spite them. Here you go:
https://stallman-report.org