Document paths.php.