Comedy, history and culture: Edinburgh in August Gallery