You're correct actually, I missed that. With Raspberry Pi they moved production to the UK (Wales) in 2012 - (Factory tour article in 2023 - https://www.jeffgeerling.com/blog/2023/how-raspberry-pis-are... ).

I wouldn't be surprised if they move production back to the UK assuming Pi 500+ starts doing well.