Is there a generally accepted procedure for crediting info that someone suggests in the comments of my answer. Should I write something like "@coolrpg points out..." and then the info that user CoolRPG suggested I add in their comment. Or is crediting another user not expected?