Mentioning user in slash command string option type still contains the `!` bang

[GoogleGenius]

Description

When mentioning a user in a slash command string option, it seems that Discord still uses the old mention formatting with the ! bang in front of the user ID: <@!1234567890>. It should have been updated to use the new format, which does not contain the exclamation mark.

Steps to Reproduce

Use a slash command that accepts string input. Mention a user inside of it. Printing the raw message content reveals that it still contains the ! bang.

Expected Behavior

The mention is formatted using the new style without the ! bang: <@1234567890>.

Current Behavior

The mention is formatted using the old style with the ! bang: <@!1234567890>.

Screenshots/Videos

No response

Client and System Information

Stable 135402 (4c5bcd6) Host 1.0.9005 Windows 10 64-Bit (10.0.22622).

(Windows 11 actually but Microsoft was not bothered to update the versioning number when it debuted).

[GoogleGenius]

I am aware this is deprecated behavior, but shouldn't it be updated?

[devsnek]

A fix should be out shortly