Terminal: Many tabs or long path names => useless tab titles . .