Sorry, that was unclear. I mean the formals for `replace-names`. IOW, I think it replaces all the elements of `objects` in `res` with the corresponding `names`.  Or perhaps the other way around.