Resync files after git repo failure

Also, TOC is now a tree!