We can’t validate your decision
You say: “Right now I am leaning towards kicking him out. Doing so will nevertheless make me very sad. What do other people think?”
I think it will make you very sad because you told us it will.
The real question and it’s one we can’t answer is will not kicking him out make you more sad, less sad, or the same amount of sad. When you answer that question, you’ll know what to do.
Look, I’ve been there, I’ve fired people from real jobs not just games about pretend elves. In most cases, these people were making meaningful contributions and not actively going against the norms of the group; but I have dealt with that type too - they’re easier but not a lot easier.
These decisions are hard, but not usually because you don’t know what the right decision at the time is. (noNo one’s prescient, so you can only assess youyour decisions now - regrets. Regrets are for the future).) They’re hard because executing the decision is going to involve an unpleasant and emotional conversation possibly with conflict. Everyone hates that but taking on the role of GM or business owner means that you sometimes have to have these conversations.