"Use PuTTY" is more or less advice just for Windows users.