Raspberry Pi Pico - why does free space show as 848 kB? (and advice on how to add an SD card to an enviro indoor)

Follow-up post here: Low power consumption on Raspberry Pi Pico / Bader / Picowbell