release v13.1.2: small change - clean all ssh links