Required minimum distributions were waived for 2020. Anyone who did not take a distribution is fine; no special filing is required.
What a willing buyer would pay to a willing seller when neither is under any compulsion to buy or sell.