Hope I am posting this in the right section.My daughter is flying in from Doha, Qatar. Normally she comes directly from Doha to Mumbai but this time, because of the timing of flight options, she cannot do that. So she has opted to fly Doha-Delhi-Mumbai.I haven't been to Delhi in ages and I know there are a lot of changes at the airport there now.My question is - are the international and domestic terminals different and how does she have to go from the international terminal to the domestic.Note that she is not on a single ticket all the way through and will need to pass through immigration, customs and then queue up for a fresh boarding pass. Implying that she will not have her checked in luggage automatically transferred from one aircraft to the other.