Can we get a rename function for PixRiot spins that would rename the underlying .xml and .pxrtcont files as well?