Just downloaded it by downloading the WordPress zip from GitHub - thanks for that tip; I hadn't thought of that. :) I am not using it quite yet, as I'm still playing around with it. I think it is the best default theme yet!