Activity on the streets of Edinburgh during its giant annual arts festival.