Edinburgh-publiken är på det hela taget icke någon teaterpublik.