Could I solicit a review of https://github.com/pantsbuild/pants/pull/21237 (changes Ruff from a PyPI-installed tool to just a downloaded binary)? Thanks