I note the following workaround described here: Doing Form 8881 in TurboTax Desktop 2024 for auto-enrollment credit - Bogleheads.org
