What I found out after researching... I think that GitCitadel itself is a development platform like GitHub, but at the same time it is like a collective name for a group of projects. And there are various products that have been born from GitCitadel, such as relay servers and Alexandria.