For what it is worth:
https://www.irs.gov/individuals/international-taxpayers/us-citizens-and-resident-aliens-abroad-head-...