My docs generator now consolidates all the PHP documentation menus into one single sidebar menu system.

Not seen in the video: it also filters out empty pages, such as “Introduction”, to make sure you only ever land on pages with content.