Keep AI as the getting started path#243

toddgeist merged 1 commit intomainproofsh/proofkit:mainfrom

feature/deal-with-getting-startedproofsh/proofkit:feature/deal-with-getting-startedCopy head branch name to clipboard