The most patriotic naturalized citizen...the late, great Balint Vaszonyi, was for keeping this provision.
One of the least known of the truly great pianists of the 20th Century, too. His recording of the 24 Chopin Preludes is peerless.