School holidays, half terms and public holidays worldwide, weighted by how many people are off – so you can book your trip in the quiet weeks.