“floppy disks—along with other dated tech like CDs and MiniDiscs —are still required for around 1,900 government procedures.”