Use <replaceable></replaceable> elements where appropriate for floppy
disk names.

"Approximately three...floppies" is kind of weird to me, so substitute
"several" here instead. We already mention that a floppy disk set
requires three disks elsewhere, so we're not really losing any
content.