Change PlayerNames in Tickbar to include Mentions/Nicknames

The tickbar should be displayed in mentions, not in their usernames.

An easy fix would be to replace the discord name string with their corresponding nickname, but handling players as users could be beneficial for future implementations

Start by locating the Tickbar code that builds PlayerNames and the Discord name string. Check how player identities are currently represented, then verify that the tickbar displays mentions or corresponding nicknames rather than usernames while preserving existing behavior.

Written by the indexing model from the issue text.