docs(ai): simplify install step 1 to post-install restart only#276

toddgeist merged 1 commit into

mainproofsh/proofkit:mainfrom

tighten-install-step-1proofsh/proofkit:tighten-install-step-1Copy head branch name to clipboard