Edinburgh in August: one giant festival