docs: update install-and-connect walkthrough video#282

toddgeist merged 1 commit into

mainproofsh/proofkit:mainfrom

docs/update-install-connect-video-v2proofsh/proofkit:docs/update-install-connect-video-v2Copy head branch name to clipboard