So this seems to me very similar to what we have in Python's `shutil`. I wrote that comment to draw attention and prompt discussion about whether there's a better way to handle copying.  It could use a better name at least but I couldn't decide. 