The other issue is that federation requires domain names, so I have no idea how they’d work with onion addresses, and back and forth between the two. If someone wanted to do that work they’re free to.