“With an impressive resume that includes training as a singer and experience as a stage manager and production director, [Ian Derrer] previously worked with Dallas Opera, between 2014 and 2016, as artistic administrator. Since then, he has been general director of Kentucky Opera. … The company moved quickly to fill the position, vacated in January by Keith Cerny, its head for the previous 7½ years.”