Change all @username references in comments when a user changes their name?
Have noticed occasionally a comment
@ someone's handle that isn't found anywhere on the page (using a browser's search functionality) - Example Allow highlighting certain bits of a code fragment or quote, and subsequent comments supposedly directed towards @Down
I presume this is because OP's sometimes change handles, but the system doesn't change these elements in posts.
Any chance of making the system change all @oldhandles, to the new handle upon OP change?