In preparation for the delivery of the RPi unit, I have downloaded the debian6-17-2-2012.zip file and installed its contents on an SDHC 32GB card following the
instructions from your RPi Easy SD Card Setup page.
I was then surprised/dismayed to find that my card had been reduced to 75MB
capacity.
I did not find any advance warning of this possibility in the instructions
and had expected to use the surplus card capacity as working memory.
I would appreciate comment on
(a) whether the "reformatting" to the smaller size is inherent in the use of
Win32DiskImager
(b) whether the original card capacity is recoverable
(c) can any "spare" capacity on the SD boot card be used as working memory
(d) what SD card size is recommended for bootup?
(e) should appropriate warnings be added to the RPi Easy SD Card Setup page.