Improve workspace repo navigation and TOC defaults#96

jbragg merged 1 commit into

mainallenai/asta-plugins:mainfrom

workspace-repo-link-toc-leftallenai/asta-plugins:workspace-repo-link-toc-leftCopy head branch name to clipboard