Resetting terminal tab titles after SSH has messed with them.
Web developer, father, singer, spouter of angry rubbish. See my full profile.