What forum software does the WPMU DEV forums use?

This might be a dumb question, but what is it -- is it just bbPress?