Mike 42fdca72d3 fix sync 6 lat temu
..
bin 42fdca72d3 fix sync 6 lat temu
man 0020708d29 More Man page edits 6 lat temu