Tab title format used when a remote command (e. g. connection to another computer via SSH) is being executed
Aranĝo por langetaj titoloj dum uzo de fora komando (ekz. dum konekto al alia komputilo per SSH)