First commit of fresh doconce files at github.
Fixes.