There’s a running joke amongst theatre-types on social media: the same topics always arise, like clockwork, every few years. Ticket prices, audience etiquette, singing along to musicals and star ...