I have not been able to verify the functionality of the disks of this
the official MS-DOS 4.0 installation kit. I presume they are in tip-top
shape.

But perhaps I should try. Someone said this DOS release supports RAM
sizes of above 512 Kb.