The Art of Manually Editing Hunks