TempleOS was a fork of SynagogueOS, so this isn't surprising.

I've heard MosqueOS is really gaining adoption.