Issue #154: Include paths.php in docs