@dmertz
according to the paragraph directly above,
"You have 3 years from the day after the date you received the distribution to make a repayment"
That says if you took a distribution on March 10,2020 you would have to repay by March 11, 2023. not October 15, 2023.
