FTC vs FEIE for US citizens working in the UK. Python does the math — every number traces back to the paragraph that produced it.