It was mentioned on the thread you link its is sourceforge.net^[1], although it's not a domain, it's like you can create a forum using the sourceforge.net domain.

https://bitcoin.sourceforge.net/boards/index.php