Yes, he’s built/done everything out in the open. Also, add OpenSats to that list. Non-profit he helped create to raise funding for free and open source software and freedom tech (mostly bitcoin and some nostr).