proj TODO: what this is, in a paragraph. Install cargo install proj Build make help lists the targets. make ci runs what CI runs. make test is the developer workflow.