Does this exist? Will gnome-terminal ever return to being performant? Am I the only one going crazy just trying to edit files? tia zenaan