fetch_file

Fetch a File already tracked under this project.

Checks ProjectManager.file_cache first, then

File.fetch

on the daemon. Does not scan disk or build a local project index.

For a path just written to disk that is not in the index yet, use insert_file instead.

Parameters:

path	Absolute normalized file path

Returns:

The file, or null if not in this project