Er_Mu1

Type @playername in chat to ping them - a ding sound, a red action bar notice, and their name highlighted in bold, visible only to them.

Keeps a per-player death history (real date/time, in-game day, dimension, coordinates, cause of death). Check it with /deathhistory.