Wrong profile link in puzzle comment

I posted a comment on puzzle 11498060 including two player names with “@” signs. The automatically generated links should point to the profiles of the respective players but instead they both point to the profile of the second player.

Yeah this is a feature that has been flaky since it was implemented a number of years ago. It’s on my radar to improve, but hasn’t been a particularly high priority