Renamed document used by patcher