"Ye Olde Astronomers Dining Hall", as announced by the sign over its entrance