It would be useful, if the default prover could be specified per project. Currently the app always falls back to google translate, and I have to set it manually every time to my desired provider (openai)