Thanks! That seems to have fixed it, but for right now the three hard-coded IP seed nodes for Namecoin are all refusing connections, so my client isn't finding any peers to connect to. Was there a new version adopted that change the ports or magic bits of network communications?