Which Plugin is wpmudev using for its community

I like the wpmudev community I was wondering if wpmudev Is using the forum plugin for its community or is it bbpress.