62d1cf8624355eda028b14bc71ca8a205d64d612  floppy-extra-devs.sh