That likely runs everywhere, but in my mind it doesn't solve the core problems here: * The keys are each really just 32 byte sequences. So any tool that serial

That likely runs everywhere, but in my mind it doesn't solve the core problems here: * The keys are each really just 32 byte sequences. So any tool that serializes them in a more complicated structure is just adding unnecessary complexity, if the calling code only cares about ed25519 keys anyway. * Lack of end-to-end examples in documentation and blog posts.