Gute Entscheidung!
Normalerweise findest du dort (fast) alle Infos rund um das Thema HoTT und das Benutzerspektrum reicht vom einfachen Anwender bis zum Entwickler. Auch der Downloadbereich ist umfangreich; meist hole ich mir meine Updates von da, weil ich schneller etwas bestimmtes finde als auf den 'offiziellen' Seiten, gerade bei älteren Produkten. Seit es Graupner in Kirchheim nicht mehr gibt, ist das nicht immer ganz einfach.