ParentFull threadmillettjon·There are plenty of people that do use ssh for the bulk of their work. In that scenario, these sorts of optimizations are quite useful.View on HN