Add missing manual files, now in sync with orig source.