They could've at least gone with Discourse. But I guess owing to the abundance of PHP talent at hand, they might've chose to stay with a widely used one.
PHPBB is fine if you skin it well. Plus PHPBB's system requirements are extremely easy to meet (PHP and MySQL). Discourse requires a more niche tech' stack and requires a much more powerful machine to run. Good luck running it on a $10/month VM.