Bs17 hugo docsy update#322

stumbo wants to merge 27 commits intomainInterlisp/Interlisp.github.io:mainfrom

bs17_hugo_docsy_updateInterlisp/Interlisp.github.io:bs17_hugo_docsy_updateCopy head branch name to clipboard