@ponderable saidThe player name mentioned is just plain text in the forum posts - which is then hyperlinked if prefixed by an @ - @like-this.
It is funny how the fromer account name shows in replies to posts by removed members...
But I did initially read your post 3 times thinking there was a serious issue to fix!