Merge proposals

install-freedos has no merge proposals.