It's better to use your ID.me account to retrieve your IPPIN. The IRS did not automatically send them out this year.