Installation instructions point us to an SD card formatter for Windows at this link:
However, that takes us to version *5* of the formatter. All well and good, except that *5* does not offer the "size adjustment" option. Should I be concerned?
For what it's worth, I'm a typical programmer and therefore read the documentation only after installing an OS - and I'd already selected "quick format" rather than overwriting the entire SD. All seems well so far. Could there be lurking issues because I didn't overwrite?