More FreeDOS changes, INST{DGJP,PLAT}, licensing guidance.
restore -f flag, name_map repos, plus FreeDOS improvements.
Remove versions of some repos temporarily.
Merge.