After you file

Thank you @DoninGA  - but unfortunately this information is in conflict with that which the IRS has on their webpage. It seems that this is more complicated (or not) for green card holders, that are treated as tax residents by the IRS, but treated differently with regards to tax rules by the WB.