Installing off floppy has been seriously suboptimal for a long time. It's probably time to finally kill it. Surely no one still has a machine with a floppy drive but no cd nor dvd drive.
I've just rebuilt /n/sources/plan9/386/9*load* from /n/sources/plan9/sys/src/boot/pc.
