How to format FAT32 on GNU/Linux https://mguhlin.org/blog/how-to-format-fat32-on-gnulinux/