WordPress menu data structure

This document on GitHub describes in depth how WordPress menus and menu-related information is stored internally and how it can be manipulated.