朝になったので、「もういいだろう」と思い、例の人をLINEグループから削除した。（退会してもらった）すっきりした。