I am pleased to note that ProSeries has fixed this bug in a release sent out on 4/13/2023.

Whew!  I hope Intuit doesn't have a lot of claims from TurboTax users who get notices from the IRS in a year or two.  (Since we use the same tax engine)

But, ProSeries is good to go.