Yeah, the only mention I can find of many of the open-source projects they use seems to be in one of the FAQs.
And even with you writing that it was not easy to find because its under an unrelated topic.
Good feedback. Most of our customers are shopping for a turnkey device and we try not to include prominent details that can confuse that use cases. But we are going to elevate the content for folks that would be interested (today).