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

toddgeist merged 1 commit into

mainproofsh/proofkit:mainfrom

docs/update-install-connect-videoproofsh/proofkit:docs/update-install-connect-videoCopy head branch name to clipboard