Interestingly, it did remove the @. So people can remove that and not have it for lemmy's side, where it's not needed for alerts or anything, you get an alert for it being posted in the thread or directly responding.