Yep, no pruned download yet - I'm waiting another week to give more time for users to upgrade.  (I don't want to keep both a pruned and an unpruned download on the server, since it doesn't have an uber-huge disk.)