Cool. You jumped on pyrefly fast. As eglot supports only one LSP server at a time per session (for now...I think Joao has a multiplexer idea), it might also be good to see pyrefly integrated into pylsp as mypy is (see
https://github.com/python-lsp/pylsp-mypy). This way, eglot users can benefit from simultaneous linting, type checking, and code navigation vs. just type checking alone which is what they'd get using pyrefly as an LSP. To be clear, I'm not saying skip the patch, I'm saying let's also encourage integration under a multiplexing LSP.