A user lost what had been worth $131,350 while swapping USDR for USDC following the 50% crash of USDR's price on Oct. 11.