Updates to move out some of the peaceiris actions#43

stumbo merged 1 commit intomainstumbo/InterlispDraft.github.io:mainfrom

fixRobots.txtstumbo/InterlispDraft.github.io:fixRobots.txtCopy head branch name to clipboard