Form 5329

We neglected to take an RMD withdrawal for 2022. In preparing the tax return (using disk download for PC), I filled out the info for the waiver. How do I know that this info and the 5329 form will be included when I E-file?

Do I have to mail the form into the IRS?