name changes, remove outdated ref to doc.txt
reorg of main.rkt