Sorry if this is premature and it's already implemented, but I don't see any documentation about whether a user who is @-mentioned in a comment will be subscribed to that issue for notifications.

I think this is an important feature to make sure users will be notified for participation if they are not already participating, watching, etc.