How to edit the menus in social theme now that there is no navigation.php?

All of the threads that I find about editing the menu in the Social Theme involve editing the navigation.php.

Since that seems to no longer be a part of the Social Theme, how is this accomplished?