michaelg/dev: links for ed25519-py