Apologies in advance if this has been answered somewhere.
With the changes discord is / has made to the user names (removal of the #0000), how will bots handle this.
Will the user.tag return just their user name or can we expect some errors from our bots that may use user.tag?