Found an unspecified requirement: nrd will complain if you rename an identifier but don't also rename references. It would be very helpful if this helper tool also did something akin to

sed -i 's/<old>/<new>/g' **/*

but that needs a bit of smarts, because we have to capture old identifiers correctly (e.g. naively inserting foo and foo2 after already having renamed the "tag" location of foo but not the "ref" locations, will produce foo22 at the "tag").

So this is not blocking for this PR. You would get the identifier errors by nrd already, so this change doesn't make it strictly worse. It may mess with expectations though, because one may think such a command will just do the Right Thing for you already.