Discourse kullanıyorlar. Güzel bir forum sistemi ancak Türkiye'de pek yaygın değil. Deneyimlediğim zamanlarda kurulumu ve yönetimi biraz karışık gelmişti bana. Bir benzeri NodeBB'de var o da sağlamdır.