I'm having a rough time even finding the "open source" embedded software running on the onlykey. This site definitely needs an "open source" section linking to

I'm having a rough time even finding the "open source" embedded software running on the onlykey. This site definitely needs an "open source" section linking to the relevant github/gitlab repos, or at least cross links/references to source within their documentation. I see tons of claims, but no way to validate them.