Automatically insert the user name whom you're replying to into the comment reply's edit box.
As of 2017-10-12. See the latest version.
