After you file

there was no confusion on my part.

If you opt in to the IP PIN program, IRS will automatically mail you a new PIN in Jan 2024.