名前を打ち間違えていませんか?
それでも出ない場合は名前を変更している可能性があります。
UUIDが分かる場合はユーザー名の代わりに頭に「
$」を入れた後、その人のUUIDを入力すると認識される場合があります。
/umail to 1
$xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxx
一度でもサーバーにログインしたことがあるプレイヤーなら認識できるようです。
UUIDに関しては以下のサービスなので名前変更しても調べることができます
https://ja.namemc.com/