3 ms·

I've been using ssh for a long time and somehow it's never occurred to me that hostnames would autocomplete, hah. Every day is a school day.