Correct letrec-values
Automate gh-pages
Revert bootstrap-docs