Oktober medförde föga nytt inom vår teaterverld.