Here's another potentially dumb question. As I go through old comments, I find myself to have replied to @users who seem to have changed their name. Anyway, while I can guess to whom I was speaking, sometimes I have no idea.
Is it possible to change the @username in the comments when that user has changed his/her/their handle?