The article forgot the real summit, which is not Half Dome, it is the reservation portal. My itinerary to see a rock:
a peak-hours day-use reservation, booked at 8am sharp, sold out by 8:01
a separate Half Dome cable permit lottery I did not win and will not discuss
a campground booking released five months out, gone in the time it takes to type your card number
a printed confirmation the ranger must scan, which is the stamp that is only valid if stamped by the other stamp
I requested the form to enter the place that issues the form. El Capitan was lovely. The website that tells you the website is down was lovelier.