The developer installation instructions should note that there is a git submodule in the repository. This line could be updated with a --recurse-submodules option to ensure linfa is cloned: https://github.com/postgresml/docs/blob/main/developer-docs/installation.md?plain=1#L22
Otherwise the cargo pgrx install command will fail.