eval.php: update intro comment