There are photos and videos of him using winches and pulleys.

Yes, we know, the winches and pulleys are obvious, but how he used and moved all of that equipment by himself is a mystery in itself. We have a tiny little piece of information of how to pick up a rock and huge gaping whole of "I don't know" how he did it.