Anyone has experience with Gnomes new "default" terminal console? How is it feature-wise (compatibility with different terminal emulations) and performance-wise?