So the Edinburgh Festival and the Fringe are over for another year and some sort of normality returns to the city, at least until the Christmas Market and Hogmanay.