Text this: A short history of the Independence Hall group of buildings