Curious what terminal emulators people use/recommend? I'm using Alacritty myself, but want to try other ones