In particular, I mean this page [0] where the IRS flat-out says "you can't" use direct-file (for no particular reason) before giving a much weaker statement of "is not a good option."
> You can't use Direct File if you have: [...] Health insurance you bought directly through a marketplace (like HealthCare.gov) [...] Individuals enrolled in a health insurance plan through a marketplace will receive Form 1095-A.
> If you got your health insurance through a marketplace, Direct File is not a good option for you.
[0] https://directfile.irs.gov/insurance