You know, I really only have experience with vBulletin and Xenforo. I have complete faith in your ability to select whatever you deem best for Hosting Discussion, Artashes.
I wouldn't call Xenforo a dinosaur though, as I see a lot of forums converting from vBulletin to Xenforo, and I think for good reason. In the short period of time that I ran my own forum, I never experienced as much as one issue.
I'm looking forward to the new Hosting Discussion.