Using a shorter SSH prompt on tiny/split terminals