Re: [linux-audio-user] (OT) gnome-terminal performance