Interesting. So are those the name of the sites?
vbulletin.com phpbb.com mybb.com
There are others, I’m sure. Search “community forums.”