Two great tips in this article. Luckily, at this time of the year waiting for new Xcode builds to unpack isn’t as bad as in the early summer. I’m sure this will save a lot of time after the next WWDC, though. I don’t know if I’ll use those PDF man pages often, but it’s still a neat trick.