Fixed comments, removed existing docs (will recreate with Sage)