Correct letrec-values
Revert bootstrap-docs