Drupal Association members fund grants that make connections all over the world.
node_theme() doesn't declare the file that theme_node_admin_overview() lives in.
This doesn't cause a problem for node module, since it only invokes that theme function from inside that file.
But it's a WTF for another module wanting to use that theme function.
It's also a potential future bug should we ever move some of that code around.