ändringar i repertoiren vid hofoperan hört till ordningen för dagen.