There actually is a way to mute someone, but it requires some technical know-how and an ad blocker. All posts by an individual have a “data-user-id” attribute attached to them which can be filtered out. I tried it a year ago and it worked quite well at the time; but I personally prefer seeing everything (and now my role here requires it anyway!) so I don’t know if it still works.