[KevinH]

Yes we never modified the idref/id in the manifest on rename as all they need to be is unique, so no need to ever change them. The user is free to pick and set his own unique id in the opf after a rename. The id need never match the file name. That was just an expedient to generate unique ids (since the filename must be unique, we used that).