There it was: .
Then he clicked .
A window popped up. Name? He typed “Beta 1.7.3 – Old Skool.” Version? He scrolled way, way down, past all the snapshots and releases, until he saw the section labeled . how to install minecraft beta 1.7.3