docs(ai): emphasize quitting/restarting FM + agent in install step 1#275

toddgeist merged 1 commit into

mainproofsh/proofkit:mainfrom

update-install-connectproofsh/proofkit:update-install-connectCopy head branch name to clipboard