I was translating the messages in debian installer, and got puzzled by this a message claiming that floppies mostly use FAT32. In debian-installer.pot, message #45 says: "Almost all floppies use FAT32, so that's probably what you want to select." I thought they still used FAT12. -- Herman Robak