I was wrong about the size of the increase - after checking the numbers again, the increase seems to be about 80-100% increase in immigration since the pandemic started (an exception is the first year of the pandemic where it dropped below previous year levels).