ruff

08a3a224 - [ty] Add `Download` button to ty playground which creates a zip export (#23478)