more doc on replace.php