When answering questions, I often receive a comment that makes an important point which should be incorporated into the post.
But I'm always a bit unsure how to credit the comment author. I've seen all of these:
"As @user mentioned in a comment..."
"... (thanks, @user)"
Credit the author in the edit summary.
Thank the author in a comment.
Just add the information without giving credits.
It would be helpful to clarify what we consider too much or too little. While I'd like give credits to the author, I don't want to clutter up the post. Personally, I think #1 is overused and impairs readability while #5 can be rude. I usually do #2, but I've done all of these depending on how much the comment contributes.
Is there a recommended / established way for that? What do you do?