Name Change
I am too lazy to fix this, but the name changed at some point, and now it's called The Arch (?). --Jkonrath (talk) 19:30, 7 February 2018 (EST)
- Was trying to figure out exactly when this happened so I could do a rename. Saw a news article on 8/20/16 that had the old name, and one on 2/19/17 with the new name. Start of 2017? Not sure... --Jkonrath (talk) 18:25, 22 July 2019 (EDT)