Curious if anyone had any thoughts on WezTerm vs Kitty? Wondering if I should switch