If you get investing returns (like from shorting those companies)… you’re ironically not eligible to use the IRS direct file pilot (or at least for this year).

Edit: this isn’t to knock direct file… which is good and cool (and should be expanded to have more features)