> Yes, renaming files pretty much always visibly different semantics, so it is > NOT correct to do it in most cases. ... OK. I'm convinced that (2) is complicated enough that until we really need it we should wait. I'll make the change to mlprof for (4).