The hidden SSH optimisation that turns multiple terminal connections into shared channels over a single TCP socket—and why it matters for every developer.