Deleting PR2 is easier than jiggering merge...