Hi Karen, I am in the same situation and getting double taxed.
This is excellent and this is the answer i was looking for, In summary:
-> You are excluding the income for the which the foreign Govt has taxed for the RSU's from the W2 Declared income
-> You are also including the foreign taxes that was paid
Is this correct, Did you check this is what needs to be done?