@Alexander: not instead, but in addition to gnome-terminal. RTL language users will know which terminal to choose.
@Alexander: not instead, but in addition to gnome-terminal. RTL language users will know which terminal to choose.