revive the original index.html patches, which are for the source side, not