I am aware, but GFCI is the common term in the US, especially for outlets. RCD is used most other places. I was trying to keep the terminology consistent to what would be expected regionally.