Add documentation for (*** do-not-eval ***) and EvaluationFailed