Why not allow outgoing traffic on port 6667 from *.jhu.edu but not from *.jhmi.edu?