Hoadley has released an update (4th April) 10.5u which supposedly resolves the issue with mini-options. You can now select normal, mini or both before the download.
I'm not able to test it as I'm without a PC for at least the next 2 weeks. If anyone does, please post a note here.
http://www.hoadley.net/options/DevelToolsLatestVersion.htm
I'm not able to test it as I'm without a PC for at least the next 2 weeks. If anyone does, please post a note here.
http://www.hoadley.net/options/DevelToolsLatestVersion.htm