Thank you, @Irene2805 !! The funds were rolled over in-full within 60 days.
Sorry but one other question if you have thoughts. Do you know how this would be reflected in my tax return? Presumably the 401k provider will send me a tax form indicating that I took a coronavirus hardship withdrawal and not show any information about me repaying it (since I repaid it to a different institution and different account). I will have (whenever it's available) a form from the IRA provider that shows the rollover, but I'm just not sure if this will create any sort of mismatch with the tax form from the 401k provider not showing evidence that it's been repaid?
