Have there been interesting developments in secure file transfer since magic wormhole? It's 10 years old, so great and tested, or maybe there's something else? I've heard of Croc and Portal but not sure if they are different in any way except small features and language preferences.