Required minimum distributions were waived for 2020. Anyone who did not take a distribution is fine; no special filing is required.
A 20% withholding rule applies to nonperiodic distributions, such as lump-sum distributions, paid directly to employees from an employer plan.