#138: tests/php/index.php, minor internal documentation changes, again