Ok, thanks for setting the record straight, I stand corrected. Interestingly enough, while I have been to the UK several times, I don't remember coming across the term "immigration" (probably because most of those times were pre-Brexit, so immigration was much less of a hassle for a EU citizen than it would have been when visiting the US).