Since Gnome terminal removed tab renaming, it became more or less useless for me and I had to switch to RoxTerm which works nicely for my until this day. When RoxTerm was removed from Ubuntu 16.10 (and later), this became more or less a show stopper for upgrading. Right now, packages from Ubuntu 16.04 still work on 17.04, but the end of RoxTerm is worrying. What is out there to replace RoxTerm? Thanks for your good work and best wishes, GG
VOTE: gretl
ASUS ZenPad S80 (VID=0b05 and PID=5e0f) is UNKNOWN