Fix robots.txt#39

stumbo merged 3 commits intomainstumbo/InterlispDraft.github.io:mainfrom

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