Convert the outline over into .org mode rather than Coq comments