And us foreigners will be asked for our Reddit usernames when we enter the US.