A fraction of air passengers used ArriveCAN in first month app was optional