dccp ccid-3: Update the RX history records in one place