I did see that screen and the explanation for it, and that screen is where the program filled in 2021 and 2022 distributions i took but it did not fill in 2023. And actually the program does ask you specific questions when you enter a distribution regarding why you received the distribution. So it does know that it was an RMD from an inherited non spousal IRA. I checked my form 8880 from 2022 and it did reduce my contribution by that RMD, which the rule you noted above says that it should not.
