figured this out on my own so I'm deleting my answer (but note that using the search bar to find the 8911 and 3800 forms didn't lead me to the correct solution)...
I'm not a tax specialist, just someone in a similar situation (self-employed, doing my own taxes as sole proprietor, with a high deductible marketplace planand ...
