This is way more important: https://tsz.dev/sound-mode/

But I want them to make TS fully sound, which they say they’re not currently doing. Maybe one day?