Happy International Stage Management Day to some seriously unsung heroes of theater.