I wouldn't mind if they were always the same, but perhaps separate names is useful to some so maybe just a checkbox in either rename widget that says "also update <the other> name