It was mentioned above that the supplied NOOBS micro SD was *optimized* for raspberry Pi use. I'd like to know in what way? I am interested in buying a micro SD card so I can copy the original NOOBS micro SD card contents onto it. I'd save the original one for safety and use the copy. I see good rev...