Just blocked a user entirely on GitHub https://github.com/xoofx/markdig/issues/870
It doesn't happen to me often (I have only blocked 3 accounts so far), but oh gosh, I don't develop free OSS to interact with such folks.
Maybe I was not in the right mood, dunno, anyway, I'm done with that person. 😒