Well I mean “those guys” did a good job and the network administrator might need to do some debugging.
Router is all default except that I port-forwarded something. Funny enough, it sees the hostnames. I'm guessing it's some problem with both my computers, but no real need to fix this because I memorized the addrs already.