There’s so much on at this year’s Dublin Theatre Festival, which runs until October 11, it’s hard enough to choose which shows to go to and when, never mind how...