@JimNicar @UTAustin Wow, TIL. The folklore in the early 00s was that it was added, in part, to make the union outdoor space smaller. Thanks!