I think they use Discourse too, just look at the html.