I'm wondering which plugin is used on WPMU DEV for

Hello,

I’m wondering which plugin is used on WPMU DEV for the manual section.

If this is something custom, it would be cool to make it available as a plugin.