I thought it was a Windows SSH / terminal tool. I’m probably remembering wrong.
Edit: Found it already. I was definitely thinking of Putty.