Is it better to use paramiko or plink as the bazaar ssh client on Windows, performance-wise? Ciao, Gordon